Difference between revisions of "Partners"

From VERASCO
Jump to navigation Jump to search
(→‎VERIMAG: ajout lien works in progress)
(Add me)
 
(5 intermediate revisions by 4 users not shown)
Line 12: Line 12:
  
 
Participants:
 
Participants:
* Jacques-Henri Jourdan, graduate student, ENS Paris
+
* Jacques-Henri Jourdan, Ph.D. student
* Valentin Robert, research programmer, INRIA
+
* Valentin Robert, research programmer
 +
 
  
 
==Airbus==
 
==Airbus==
Line 20: Line 21:
 
[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.
 
[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.
  
Investigators:
+
Investigator:
 
* Jean Souyris, leader of Research and Technological Development on formal program analysis within Airbus
 
* Jean Souyris, leader of Research and Technological Development on formal program analysis within Airbus
 +
  
 
==Université Rennes I==
 
==Université Rennes I==
Line 35: Line 37:
 
* 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==
Line 45: 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)
* Prof. [http://www-verimag.imag.fr/~perin/ Michaël Périn]
+
* 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:
 
Related wiki pages:
Line 54: Line 66:
 
[[File:Logo INRIA sc.jpg|240px]]
 
[[File:Logo INRIA sc.jpg|240px]]
  
INRIA Saclay Ile-de-France research center, [http://proval.lri.fr/ Proval] team.
+
INRIA Saclay Ile-de-France research center, [http://toccata.lri.fr/ Toccata] team (ex-Proval team).
  
 
Investigators:
 
Investigators:
 
* [http://www.lri.fr/~melquion/ Guillaume Melquiond], INRIA research scientist, site leader
 
* [http://www.lri.fr/~melquion/ Guillaume Melquiond], INRIA research scientist, site leader
 
* [http://www.lri.fr/~sboldo/ Sylvie Boldo], INRIA research scientist
 
* [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

Logo INRIA sc.jpg Logo ens new.jpg File:CNRS-inter-Quadri fixed.pdf

Two research teams of the INRIA Paris-Rocquencourt center are involved in Verasco: Gallium and Abstraction.

Investigators:

Participants:

  • Jacques-Henri Jourdan, Ph.D. student
  • Valentin Robert, research programmer


Airbus

AIRBUS logo blue horizontal.png

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

Logoirisa2010hd.jpg Univ-rennes1-new.jpg 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:

Participants:


VERIMAG

Logo VERIMAG vectorise.svg UJF1.svg 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:

Participants:

  • Ph.D. student Alexis Fouilhe

Related wiki pages:

INRIA Saclay

Logo INRIA sc.jpg

INRIA Saclay Ile-de-France research center, Toccata team (ex-Proval team).

Investigators:

Participant: