Dietmar Berwanger

Dietmar Berwanger


Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Fax:   +49-241-80-22215
E-Mail:   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


Algorithmische Modelltheorie — Sommer 2008.

Sprechstunde: Montag, 13:30 -- 15:30 Uhr. Andere Zeiten auf Anfrage.

Aktuelle Publikationen

Alle Publikationen


Alpaga -- Ein Algorithmus zur Lösung von Paritätsspielen mit imperfekter Information (Alphatest)