Section: Team, Visitors, External Collaborators

Research Scientists

Yves Bertot [Team leader, Inria, Senior Researcher, HDR]
Cyril Cohen [Inria, Researcher]
José Grimm [Inria, Researcher]
Benjamin Grégoire [Inria, Researcher]
Laurence Rideau [Inria, Researcher]
Enrico Tassi [Inria, Researcher]
Laurent Théry [Inria, Researcher]

Post-Doctoral Fellow

Frank Florian Steinberg [Inria, until Sep 2018]

PhD Students

Cécile Baritel-Ruet [Ecole Normale Supérieure Cachan]
Sophie Bernard [Univ de Nice - Sophia Antipolis]
Boris Djalal [Inria, until Sep 2018]
Mohamad El Laz [Inria]
Damien Rouhling [Ministère de l'Enseignement Supérieur et de la Recherche]

Technical staff

Maxime Dénès [Inria Foundation, until Nov 2018, Inria since then]

Administrative Assistant

Nathalie Bellesso [Inria]

Visiting Scientists

Sunjay Cauligi [University of California San Diego, from Sep 2018 until Nov 2018]
Joshua Gancher [Cornell University, from Sep 2018 until Nov 2018]
Vincent Laporte [IMDEA Madrid, until Jun 2018]

External Collaborators

Gilles Barthe [IMDEA Madrid, HDR]
Loïc Pottier [Ministère de l'Education Nationale, HDR]