Difference between revisions of "Partners"
(logo CNRS) |
Xavier Leroy (talk | contribs) |
||
| Line 4: | Line 4: | ||
[[File:Logo INRIA.svg|240px]] | [[File:Logo INRIA.svg|240px]] | ||
| − | '''INRIA''' [http://gallium.inria.fr/ Gallium] research | + | '''INRIA''' [http://gallium.inria.fr/ Gallium] and [http://gallium.inria.fr/ Abstraction] research teams, led by [http://gallium.inria.fr/~xleroy/ Xavier Leroy]. |
==Airbus== | ==Airbus== | ||
Revision as of 09:39, 11 March 2012
Project VERASCO is coordinated by INRIA senior researcher Xavier Leroy.
INRIA Paris Rocquencourt
INRIA Gallium and Abstraction research teams, led by Xavier Leroy.
Airbus
Airbus avionics and simulation products is a unit of Airbus, a leading aircraft manufacturer. It designs and manufactures avionics systems, including fly-by-wire controls.
Université Rennes I
File:CNRS-inter-Quadri fixed.pdf
The IRISA laboratory is a joint research unit (UMR 6074), including CNRS, University of Rennes 1 (main partner) Université Rennes 1, INSA Rennes and ENS Cachan (Brittany site). IRISA, laboratory associated with INRIA, has numerous common teams with INRIA Rennes – Bretagne Atlantique research center.
Investigators:
- Prof. Sandrine Blazy (site coordinator)
- INRIA researcher David Pichardie
VERIMAG
File:CNRS-inter-Quadri fixed.pdf
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
