Ogawa-Hirokawa Laboratory

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:

  http://www.jaist.ac.jp/is/labs/ogawa-lab/