Research Interests

  • model checking
  • parameterized complexity theory
  • structural graph theory