GAMES RTN > Uppsala Team

Uppsala Team

You are at the Uppsala 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 Uppsala team coordinates the network research on Task 3: »Synthesis and testing for reactive computation« and is involved in most of the other research tasks.

• Department of Computer Systems, Uppsala University
  • Bengt Jonsson, site leader,
  • Parosh Abdulla,
  • Therese Berg,
  • Elena Fersman,
  • Olga Grinchtein,
  • Anders Hessel,
  • Leonid Mokrushin.
  • Martin Leucker,
  • Paul Pettersson,
  • Yi Wang.
• Computing Science Department, Uppsala University
  • Sergei Vorobyov,
  • Henrik Bjorklund,
  • Sven Sandberg,
  • Rafal Somla.
• University of Wales Swansea
  • Faron G Moller.