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.