As you see, this page is under construction.

Main Research Topics

• Foundational Theory for Construction of Highly Dependable and Safe Software
  • Theory of computer programs based on mathematical logic
  • Automated theorem proving and constructive programming
  • Design of object-oriented languages
  • Advanced static analysis techniques

Recent publication list.