Rchr
J-GLOBAL ID：200901076088523819   Update date: Sep. 28, 2023

Ogawa Mizuhito

オガワ ミズヒト | Ogawa Mizuhito
Affiliation and department：
Japan Advanced Institute of Science and Technology School of Information Science

About Japan Advanced Institute of Science and Technology School of Information Science


Homepage URL  (1)： http://www.jaist.ac.jp/~kkgi/thisyear/soj/00369soj.html
Research field  (1)： Software
Research keywords  (2)： ソフトウェア検証 ,  プログラム解析
Research theme for competitive and other funds  (1)：
  • 主として関数型プログラムを対象とした解析・検証・生成,組み合わせ理論の応用に基づく効率的プログラムの自動生成,具体的な応用領域としては,コントロールフロー解析,データマイニング
Papers (57)：
ｍore...
MISC (1)：
Lectures and oral presentations  (2)：
  • raSAT: SMT for Polynomial Inequality
    (12th International Workshop on Satisfiability Modulo Theories (SMT2014) 2014)
  • Non-E-overlapping and weakly shallow TRSs are confluent (Extended abstract)
    (IWC 2014 (3rd International Workshop on Confluence 2014)
Education (2)：
  • - 1985 The University of Tokyo
  • - 1983 The University of Tokyo Faculty of Science Department of Mathematics
Professional career (1)：
  • Ph.D from University Tokyo(2002)
Work history (2)：
  • Japan Advanced Institute of Science and Technology (Research Professor, 2003-2007), Japan Advanced Institute of Science and Technology (Professor, 2007-), NII (Visiting Professor, 2008-)
  • NTT Electoric Communication Laboratories (researcher, 1985-2001), Japan Science and Technology Corporation (researcher, 2002-2003)
Association Membership(s) (3)：
Association for Computing Machinary ,  IPSJ ,  JSSST
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM