Difference between revisions of "Partners"

From VERASCO
Jump to navigation Jump to search
Line 19: Line 19:
  
 
[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:
 +
* Jean Souyris, leader of Research and Technological Development on formal program analysis within Airbus
  
 
==Université Rennes I==
 
==Université Rennes I==

Revision as of 10:04, 11 March 2012

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, graduate student, ENS Paris
  • Valentin Robert, research programmer, INRIA

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.

Investigators:

  • 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:

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:

INRIA Saclay

Logo INRIA sc.jpg

INRIA Saclay Ile-de-France research center, [Proval] team.

Investigators: