Partners
Revision as of 16:36, 13 February 2012 by David Monniaux (talk | contribs)
Project VERASCO is coordinated by INRIA senior researcher Xavier Leroy.
INRIA Paris Rocquencourt
INRIA Gallium research team, led by senior researcher Xavier Leroy.
Airbus
Airbus avionics and simulation products is a unit of Airbus, a leading aircraft manufacturer.
Université Rennes I
VERIMAG
The VERIMAG laboratory is a joint laboratory of CNRS (the French National center for scientific research) and Université Joseph Fourier (Grenoble). VERIMAG is located in Gières, a suburb of Grenoble.
Investigators:
- Prof. Pierre Corbineau
- CNRS researcher David Monniaux (site coordinator)
- Prof. Michaël Périn