# Research Topics

Copyright: Informatik 7Logic

- 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