Research Topics

  Wordcloud: algorithm, logic, isomorphism, theory, tree, data, first-order Copyright: © Informatik 7


  • finite model theory
  • descriptive complexity theory
  • strategy synthesis from logical specifications


  • algorithmic graph structure theory
  • algorithmic meta sentences
  • certifying algorithms
  • algorithmic theory of infinite graphs
  • algorithmic group theory
  • online algorithms

Automata Theory

  • verification by methods of automata theory
  • theory of finite automata on infinite objects

Complexity Theory

  • parametric complexity theory
  • complexity of constraint satisfaction problems

Database Theory

  • expressive power and algorithmic aspects of query languages
  • streaming and "big data" algorithms