Dietmar Berwanger

Dietmar Berwanger


Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Fax:   +49-241-80-22215
Email:   dwb [AT]


I am a research associate in the Logic and Complexity group of Erich Grädel. Previously, I was at EPFL Lausanne and at LaBRI Bordeaux.

My research is on logical and algorithmic foundations of interactive systems, in particular:

  • theory of infinite games
  • fixed-point logics, μ-calculus
  • verification and synthesis of open systems
  • graph structure theory and complexity


Algorithmic Model Theory — Summer 2008.

Office hours: Monday, 1:30 — 3:30 pm. Other times on request.

Recent Publications

All publications

New Tool

Alpaga -- A solver for parity games with imperfect information (alpha test)