Unsere Forschung dreht sich um
- endliche und rechnergestützte Modelltheorie
- Komplexitätstheorie
- algorithmische und strukturelle Graphentheorie
- parametrisierte Algorithmus- und Komplexitätstheorie
- Datenbanktheorie
- Automatentheorie
- zeitliche und modale Logik im Rahmen der Verifikation