Partners

From VERASCO
Revision as of 16:36, 13 February 2012 by David Monniaux (talk | contribs)
Jump to navigation Jump to search

Project VERASCO is coordinated by INRIA senior researcher Xavier Leroy.

INRIA Paris Rocquencourt

Logo INRIA.svg

INRIA Gallium research team, led by senior researcher Xavier Leroy.

Airbus

AIRBUS logo blue horizontal.png

Airbus avionics and simulation products is a unit of Airbus, a leading aircraft manufacturer.

Université Rennes I

VERIMAG

Logo VERIMAG vectorise.svg UJF1.svg CNRS-inter-bleu.svg

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:

INRIA Saclay