Mizuhito Ogawa Professor
School of Information Science¡ÊDepartment of Information Science¡¦Software Science¡Ë
Ph.D from University Tokyo(2002)
NTT Electoric Communication Laboratories (researcher, 1985-2001), Japan Science and Technology Corporation (researcher, 2002-2003), Japan Advanced Institute of Science and Technology (Research Professor, 2003-2007), Japan Advanced Institute of Science and Technology (Professor, 2007-), NII (Visiting Professor, 2008-)
The main theme is formal verication, from theory to application. Main methodology is theorem proving and model checking, applied to program anayses and security protocol verifications. Theoretical research covers efficient algorithms based on combinatorics, non-linear term rewriting systems, decidability issues in formal languages.
verification, analysis, theorem proving, model checking, combinatorics, rewriting, formal language.
Context-sensitive analyses for Large-scale Java programs
The aim of the research is to design and implement various contex-sensitive analyses of large-scale Java programs (say, 10000 methods) based on weighted pushdown model checking. The main focus is a context-sensitive and flow insensitive points-to analysis, and we proposed a new algorithm based on weighted pushdown model checking. Its implementation is ongoing with SOOT (translation to an intermediate language Jimple) as a frontend anf Weighted PDS library as a backend analysis engine.
- Well Structured Pushdown Systems¡¤Xiaojuan Cai, Mizuhito Ogawa¡¤Proceedings of the 24th International Conference on Concurrency Theory (CONCUR 2013)¡¤Springer LNCS 8052¡¤121-136¡¤2013/08
- Nested Timed Automata¡¤Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, and Shoji Yuen¡¤Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013)¡¤Springer LNCS 8053¡¤168-182¡¤2013/08
- SMT for Polynomial Constraints on Real Numbers¡¤To Van Khanh, Mizuhito Ogawa¡¤Electrical Notes on Theoretical COmputer Science, Elsevier / Tools for Automatics Program Analysis (TAPAS 2012)¡¤to appear
¡þAcademic Society Affiliations
- Information Processing Society in Japan, SIGPRO¡¤2007-
- IPSJ SIGPRO¡¤Editorial board member¡¤2006-
- JSSST¡¤Editorial board member¡¤2005-2008