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]