# Research Interests

My research interests are logic, especially finite model theory and computational logic, as well as algorithmic graph theory.

At the moment I am mostly working on **Algorithmic Meta-Theorems** and
**Digraph Structure Theory**.

Areas I am generally interested in are

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