Research Interests

  • modal logic, in particular the modal μ-calculus
  • model checking
  • parameterized complexity theory
  • structural graph theory