Ogawa-Hirokawa Laboratory

We are concerned with the computational mechanism of software and principles of verification. Our research themes are:

• constraint solving (SAT/SMT)
• formal language theory
• computational models (term rewriting, automata, ...)
• ...

More information can be found at:

• https://www.jaist.ac.jp/~mizuhito/
• https://www.jaist.ac.jp/~hirokawa/lab/