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