Research
Area of interest
My research interests can broadly be described as applications of logic to computer science, in particular
  • applications to graph algorithms
  • algorithmic graph minor theory
  • finite model theory
  • graph searching and verification games
  • database and descriptive complexity theory
  • verification
Software

Gralog is tool developed in my group for visualising, editing and testing graph based algorithms in logic, games and of course graph algorithms.

Its principle developers are Sebastian Ordyniak and myself with plugins contributed by Lukas Moll. The project has been supported by the Deutsche Forschungsgemeinschaft (DFG) grant KR 2898/1-3.

Follow this link to the Gralog web page.