GAMES RTN > Bordeaux Team

Bordeaux Team

You are at the Bordeaux 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 Bordeaux team coordinates the network research on Task 1: »Minimizing automata and simplifying games« and is involved in most of the other research tasks.

• LaBRI, University Bordeaux 1
  • David Janin, local co-ordinator,
  • André Arnold, head of the MVTSI team,
  • Igor Walukiewicz,
  • Pascal Weil, head of the L3A team,
  • Julien Bernet,
  • Alexis-Julien Bouquet,
  • Xavier Briand,
  • Valère Dussaux,
  • Séverine Fratani,
  • Luigi Santocanale,
  • Aymeric Vincent,