Partners

From VERASCO
Jump to navigation Jump to search

Project VERASCO is coordinated by INRIA senior researcher Xavier Leroy.

INRIA Paris Rocquencourt

Logo INRIA.svg File:CNRS-inter-Quadri fixed.pdf

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

Investigators:

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.

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.svg