# Research

The research pursued in the Logic and Semantics group revolves around

- finite and computational model theory,
- descriptive complexity theory,
- algorithmic and structural graph theory,
- parameterized algorithmics and complexity theory,
- database theory,
- automata-theory and temporal and modal logics in the context of verification.