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]