Logic and Formal Methods

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.