Difference between revisions of "Partners"
Jump to navigation
Jump to search
(Add me) |
|||
| (18 intermediate revisions by 4 users not shown) | |||
| Line 2: | Line 2: | ||
==INRIA Paris Rocquencourt== | ==INRIA Paris Rocquencourt== | ||
| − | [[File:Logo INRIA. | + | [[File:Logo INRIA sc.jpg|240px]] [[File:Logo ens new.jpg|120px]] [[Image:CNRS-inter-Quadri fixed.pdf|100px]] |
| + | |||
| + | 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 | ||
| + | * [http://www.di.ens.fr/~rival/ Xavier Rival], INRIA research scientist | ||
| + | |||
| + | Participants: | ||
| + | * Jacques-Henri Jourdan, Ph.D. student | ||
| + | * Valentin Robert, research programmer | ||
| − | |||
==Airbus== | ==Airbus== | ||
[[File:AIRBUS logo blue horizontal.png|300px]] | [[File:AIRBUS logo blue horizontal.png|300px]] | ||
| − | [http://www.airbus.com Airbus] [http://www.airbus.com/support/training/avionics/ avionics and simulation products] is a unit of '''Airbus''', a leading aircraft manufacturer. | + | [http://www.airbus.com Airbus] [http://www.airbus.com/support/training/avionics/ avionics and simulation products] is a unit of '''Airbus''', a leading aircraft manufacturer. It designs and manufactures avionics systems, including [[wikipedia:fly-by-wire|fly-by-wire]] controls. |
| + | |||
| + | Investigator: | ||
| + | * Jean Souyris, leader of Research and Technological Development on formal program analysis within Airbus | ||
| + | |||
==Université Rennes I== | ==Université Rennes I== | ||
| Line 15: | Line 29: | ||
[[Image:logoirisa2010hd.jpg|200px]] | [[Image:logoirisa2010hd.jpg|200px]] | ||
[[Image:univ-rennes1-new.jpg|240px]] | [[Image:univ-rennes1-new.jpg|240px]] | ||
| − | [[Image:CNRS-inter- | + | [[Image:CNRS-inter-Quadri fixed.pdf|120px]] |
| − | The '''IRISA''' laboratory is a joint | + | The '''IRISA''' laboratory is a joint research unit (UMR 6074), including CNRS, University of Rennes 1 (main partner) [http://www.univ-rennes.fr 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: | Investigators: | ||
* Prof. [http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (site coordinator) | * Prof. [http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (site coordinator) | ||
* INRIA researcher [http://www.irisa.fr/celtique/pichardie// David Pichardie] | * INRIA researcher [http://www.irisa.fr/celtique/pichardie// David Pichardie] | ||
| + | |||
| + | Participants: | ||
| + | * [http://www.irisa.fr/celtique/demange/ Delphine Demange], lecturer | ||
| + | * [http://people.irisa.fr/Vincent.Laporte Vincent Laporte], Ph.D. student | ||
| + | * [http://www.irisa.fr/celtique/maroneze/ Andre Oliveira Maroneze], Ph.D. student | ||
| + | |||
==VERIMAG== | ==VERIMAG== | ||
[[Image:Logo VERIMAG vectorise.svg|200px]] | [[Image:Logo VERIMAG vectorise.svg|200px]] | ||
[[Image:UJF1.svg|240px]] | [[Image:UJF1.svg|240px]] | ||
| − | [[Image:CNRS-inter- | + | [[Image:CNRS-inter-Quadri fixed.pdf|120px]] |
The '''VERIMAG''' laboratory is a joint laboratory of [http://www.cnrs.fr CNRS] (the French National center for scientific research) and [http://www.ujf-grenoble.fr Université Joseph Fourier] (Grenoble). [http://www-verimag.imag.fr VERIMAG] is located in Gières, a suburb of Grenoble. | The '''VERIMAG''' laboratory is a joint laboratory of [http://www.cnrs.fr CNRS] (the French National center for scientific research) and [http://www.ujf-grenoble.fr Université Joseph Fourier] (Grenoble). [http://www-verimag.imag.fr VERIMAG] is located in Gières, a suburb of Grenoble. | ||
| Line 32: | Line 53: | ||
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é] | ||
| + | |||
| + | Participants: | ||
| + | * Ph.D. student Alexis Fouilhe | ||
| + | |||
| + | Related wiki pages: | ||
| + | * [[Verimag works in progress]] | ||
==INRIA Saclay== | ==INRIA Saclay== | ||
| − | [[File:Logo INRIA. | + | [[File:Logo INRIA sc.jpg|240px]] |
| + | |||
| + | INRIA Saclay Ile-de-France research center, [http://toccata.lri.fr/ Toccata] team (ex-Proval team). | ||
| + | |||
| + | Investigators: | ||
| + | * [http://www.lri.fr/~melquion/ Guillaume Melquiond], INRIA research scientist, site leader | ||
| + | * [http://www.lri.fr/~sboldo/ Sylvie Boldo], INRIA research scientist | ||
| + | |||
| + | Participant: | ||
| + | * [http://erik.martin-dorel.org/ Erik Martin-Dorel], INRIA postdoctoral researcher | ||
Latest revision as of 10:35, 26 June 2014
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, Ph.D. student
- Valentin Robert, research programmer
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.
Investigator:
- 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
Participants:
- Delphine Demange, lecturer
- Vincent Laporte, Ph.D. student
- Andre Oliveira Maroneze, Ph.D. student
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é
Participants:
- Ph.D. student Alexis Fouilhe
Related wiki pages:
INRIA Saclay
INRIA Saclay Ile-de-France research center, Toccata team (ex-Proval team).
Investigators:
- Guillaume Melquiond, INRIA research scientist, site leader
- Sylvie Boldo, INRIA research scientist
Participant:
- Erik Martin-Dorel, INRIA postdoctoral researcher
