Difference between revisions of "Partners"
Jump to navigation
Jump to search
m |
|||
| Line 2: | Line 2: | ||
==INRIA Paris Rocquencourt== | ==INRIA Paris Rocquencourt== | ||
| − | [[File:Logo INRIA.svg| | + | [[File:Logo INRIA.svg|240px]] |
'''INRIA''' [http://gallium.inria.fr/ Gallium] research team, led by senior researcher [http://gallium.inria.fr/~xleroy/ Xavier Leroy]. | '''INRIA''' [http://gallium.inria.fr/ Gallium] research team, led by senior researcher [http://gallium.inria.fr/~xleroy/ Xavier Leroy]. | ||
| Line 26: | Line 26: | ||
==INRIA Saclay== | ==INRIA Saclay== | ||
| − | [[File:Logo INRIA.svg| | + | [[File:Logo INRIA.svg|240px]] |
Revision as of 17:32, 13 February 2012
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
INRIA Saclay
