HOME | DEUTSCH| IMPRESSUM | SITEMAP | KIT

Contact
Institut für Theoretische Informatik

Am Fasanengarten 5
76131 Karlsruhe
Tel: +49 721 608-44023
Fax: +49 721 608-44021
E-Mail: simone meinhartHfu8∂kit edu

Directions

Welcome

Since the end of 2009 our group exists at the Institute for 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