Partners

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

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.

Investigators:

• 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

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 David Monniaux (site coordinator)
• Prof. Michaël Périn

INRIA Saclay

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

Investigators:

• Guillaume Melquiond, INRIA research scientist, site leader
• Sylvie Boldo, INRIA research scientist