Partners

Project VERASCO is coordinated by INRIA senior researcher Xavier Leroy.

INRIA Paris Rocquencourt

INRIA Gallium research team, led by senior researcher Xavier Leroy.

Airbus

Airbus avionics and simulation products is a unit of Airbus, a leading aircraft manufacturer.

VERIMAG

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