HOME | DEUTSCH| LEGALS | SITEMAP | KIT

Contact
Institut für Theoretische Informatik

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

Directions

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