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.
- Formal methods in software engineering
- Specification and verification
- Automated deduction in classical and non-classical logics