GAMES RTN > Aachen Team

Aachen Team

You are at the Aachen node of the research training network »Games and Automata for Synthesis and Verification« [GAMES]. This is a four year project (2002-2006) funded by the European Comission under the Fifth Framework Programme.

The Aachen team coordinates the network research on Task 2: »Algorithmic Analysis of Parity Games« and is involved in most of the other research tasks.

• Department of Computer Science 7, Aachen University
  • Chair: Wolfgang Thomas, site leader,
  • Thierry Cachat,
  • Colin Hirsch,
  • Christof Löding,
  • Philipp Rohde,
  • Stefan Wöhrle.
• Mathematical Foundations of Computer Science, Aachen University
  • Chair: Erich Grädel, network co-ordinator,
  • Dietmar Berwanger,
  • Achim Blumensath,
  • Jacques Duparc,
  • Stephan Kreutzer,
  • Antje Nowack,
  • Mariane Riss.
• Institute for Computer Science and Applied Mathematics, University of Kiel
  • Chair: Thomas Wilke,
  • Carsten Fritz,
  • Ralf Küsters.
• Institut Montefiore, University of Liege
  • Chair: Pierre Wolper,
  • Bernard Boigelot.