Welcome

Since the end of 2009 our group exists at the Institute of Theoretical Informatics. Our main research question is the practical application of logic, formal methods, specification and verification in software engineering.

Research Topics

  • Formal methods in software engineering
  • Specification and verification
  • Automated deduction in classical and non-classical logics

News

Contact
Institute of Theoretical Informatics

Am Fasanengarten 5
76131 Karlsruhe
Germany
Phone: +49 721 608-44023
Fax:    +49 721 608-44021
Email: simone meinhartHfu8∂kit edu

Directions