Partners

From VERASCO
Jump to: navigation, search

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: