Home | deutsch | Legals | Sitemap | KIT


Am Fasanengarten 5
Building 50.34
76131 Karlsruhe

Tel: +49 721 608-43919
Fax: +49 721 608-44211

Forschungsgruppe Logik und Formale Methoden

The research group Logic and Formal Methods at the Institute of Theoretical Informatics aims at an internationally leading role both in research and education in the area of logic in computer science. Fostering the rich tradition that can be traced back to mathematical logic is as high on our agenda as applying methods and results from logic to current problems in computer science.

We currently focus on formal specification and automatic verification of software systems.