Logic

Our research interests are mainly focused on finite and algorithmic model theory (i.e., model theory of finitely representable infinite structures, e.g. automatic structures), and descriptive complexity theory.

Projects in this area:

• Algorithmic Model Theory

Games

Games provide a powerful mathematical framework with a well-developed theory as well as very general and versatile models of computation. In particular they capture in a natural way the aspect of interaction. Many synthesis and validation tasks, formula checking, or query evaluation problems can be formulated in game-theoretic terms.

Projects in this area:

• GAMES
• AlgoSyn

Blackboard Seminar

In weekly sessions, a topic of the lecturer's current interest is presented. In particular, still unpublished or unfinished works can be discussed.

• Blackboard Seminar

Further Research Interests

• Database Theory
• Logic and Optimisation
• Abstract State Machines