Three INRIA EPIs are involved in this project:

FOCUS

Ugo Dal Lago (Scientific Coordinator)
Marco Gaboardi
Simone Martini
Barbara Petit

PARSIFAL

Beniamino Accattoli
Kaustuv Chaudhuri
Dale Miller
Lutz Strassburger

PI.R2

Pierre-Louis Curien
Hugo Herbelin
Yann Régis-Gianas
Alexis Saurin