Section: Members

Research Scientists

Yves Bertot [Team leader, Inria, Senior Researcher, HDR]

Cyril Cohen [Inria, Researcher]

Benjamin Grégoire [Inria, Researcher]

José Grimm [Inria, Researcher]

Laurence Rideau [Inria, Researcher]

Enrico Tassi [Inria, Researcher]

Laurent Théry [Inria, Researcher]

Engineers

Maxime Dénès [Inria]

Matej Košík [Inria]

PhD Students

Cécile Baritel-Ruet [ENS Cachan]

Sophie Bernard [Univ. Nice]

Boris Djalal [Inria]

Damien Rouhling [Min. Ens. Sup. Recherche]

Post-Doctoral Fellow

Anders Mörtberg [Inria, from Nov 2016]

Visiting Scientist

Paul Aaron Steckler [MIT, from Apr 2016 until May 2016]

Administrative Assistant

Nathalie Bellesso [Inria]

Others

Wassim Haffaf [SupElec, intern from Jun 2016 until August 2016]

Rébecca Zucchini [ENS Cachan, intern from Jun 2016 until Jul 2016]