Difference between revisions of "Partners"
Xavier Leroy (talk | contribs) |
Xavier Leroy (talk | contribs) |
||
| Line 2: | Line 2: | ||
==INRIA Paris Rocquencourt== | ==INRIA Paris Rocquencourt== | ||
| − | [[File:Logo INRIA.svg|240px]] | + | [[File:Logo INRIA.svg|240px]] |
| − | + | Two research teams of the INRIA Paris-Rocquencourt center are involved in Verasco: [http://gallium.inria.fr/ Gallium] and [http://www.inria.fr/equipes/abstraction Abstraction]. | |
| + | |||
| + | Investigators: | ||
| + | * [http://gallium.inria.fr/~xleroy Xavier Leroy], INRIA senior research scientist, coordinator | ||
| + | * [http://www.di.ens.fr/~feret/ Jérôme Feret], INRIA research scientist | ||
| + | * Jacques-Henri Jourdan, graduate student, ENS Paris | ||
| + | * [http://www.di.ens.fr/~rival/ Xavier Rival], INRIA research scientist | ||
==Airbus== | ==Airbus== | ||
Revision as of 09:47, 11 March 2012
Project VERASCO is coordinated by INRIA senior researcher Xavier Leroy.
INRIA Paris Rocquencourt
Two research teams of the INRIA Paris-Rocquencourt center are involved in Verasco: Gallium and Abstraction.
Investigators:
- Xavier Leroy, INRIA senior research scientist, coordinator
- Jérôme Feret, INRIA research scientist
- Jacques-Henri Jourdan, graduate student, ENS Paris
- Xavier Rival, INRIA research scientist
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
