Logik und Semantik
Willkommen in unserer Forschungsgruppe Logik und Semantik
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