Mizuhito Ogawa

Biography

â– Degrees Ph.D from University Tokyo(2002) â– Professional Career 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-) â– Specialties 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.

Research Interest

Verification, analysis, theorem proving, model checking, combinatorics, rewriting, formal language.