Section: Team, Visitors, External Collaborators

Research Scientists

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

Post-Doctoral Fellow

Pierre Boutry [Inria, Post-Doctoral Fellow, from Sep 2019]

PhD Students

Cécile Baritel-Ruet [Inria, PhD Student]
Sophie Bernard [Univ de Nice - Sophia Antipolis, PhD Student, until Sep 2019]
Mohamad El Laz [Inria, PhD Student]
Damien Rouhling [Ministère de l'Enseignement Supérieur et de la Recherche, PhD Student, until Sep 2019]

Interns and Apprentices

Ahmed Khulaif A Alharbi [Inria, from Mar 2019 until Jun 2019]
Julien Lamiroy [École Normale Supérieure de Paris, from Jun 2019 until Jul 2019]

Administrative Assistant

Nathalie Bellesso [Inria, Administrative Assistant]

Visiting Scientists

Reynald Affeldt [AIST, Japan, from Oct 2019]
Manuel Barbosa [University of Porto, from Jun 2019 until Jul 2019]
Christian Doczkal [Univ. Côte d'Azur, from Oct 2019]
Kazuhiko Sakaguchi [University of Tsukuba, Japan]

External Collaborators

Gilles Barthe [Max Planck Institute, Bochum, Germany, HDR]
Loïc Pottier [Ministère de l'Education Nationale, HDR]