Difference between revisions of "Partners"
(→VERIMAG: ma pomme) |
|||
| Line 45: | Line 45: | ||
Investigators: | Investigators: | ||
* Prof. [http://www-verimag.imag.fr/~corbinea/ Pierre Corbineau] | * Prof. [http://www-verimag.imag.fr/~corbinea/ Pierre Corbineau] | ||
| − | * CNRS researcher [http://www-verimag.imag.fr/~monniaux/ David Monniaux] (site coordinator) | + | * CNRS researcher Dr [http://www-verimag.imag.fr/~monniaux/ David Monniaux] (site coordinator) |
| − | * | + | * Lecturer [http://www-verimag.imag.fr/~perin/ Michaël Périn] |
* Lecturer [http://www-verimag.imag.fr/~boulme/ Sylvain Boulmé] | * Lecturer [http://www-verimag.imag.fr/~boulme/ Sylvain Boulmé] | ||
| + | * Graduate student Alexis Fouilhe | ||
Related wiki pages: | Related wiki pages: | ||
Revision as of 12:18, 15 May 2012
Project VERASCO is coordinated by INRIA senior researcher Xavier Leroy.
INRIA Paris Rocquencourt
File:CNRS-inter-Quadri fixed.pdf
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
- Xavier Rival, INRIA research scientist
Participants:
- Jacques-Henri Jourdan, graduate student, ENS Paris
- Valentin Robert, research programmer, INRIA
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.
Investigators:
- Jean Souyris, leader of Research and Technological Development on formal program analysis within Airbus
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 Dr David Monniaux (site coordinator)
- Lecturer Michaël Périn
- Lecturer Sylvain Boulmé
- Graduate student Alexis Fouilhe
Related wiki pages:
INRIA Saclay
INRIA Saclay Ile-de-France research center, Proval team.
Investigators:
- Guillaume Melquiond, INRIA research scientist, site leader
- Sylvie Boldo, INRIA research scientist
