Partners

INRIA Paris Rocquencourt

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

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