Research Topics

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

Logic

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

Algorithms

  • 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