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]