Section: Team, Visitors, External Collaborators

Research Scientists

François Pottier [Team leader, Inria, Senior Researcher, HDR]

Damien Doligez [Inria, Researcher]

Ioannis Filippidis [Inria, Starting Research Position]

Xavier Leroy [Collège de France, Professor]

Jean-Marie Madiot [Inria, Researcher]

Luc Maranget [Inria, Researcher]

Gabriel Radanne [Inria, Starting Research Position, from Oct 2019]

Didier Rémy [Inria, Senior Researcher, HDR]

PhD Students

Frédéric Bour [Tarides, PhD Student, from Oct 2019, CIFRE]

Basile Clément [Inria, PhD Student, from Dec 2019]

Nathanaël Courant [École Normale Supérieure de Paris, PhD Student, from Sep 2019]

Paulo Emílio de Vilhena [Inria, PhD Student, from Sep 2019]

Armaël Guéneau [Inria, PhD Student]

Quentin Ladeveze [Inria, PhD Student, from Oct 2019]

Glen Mével [Inria, PhD Student]

Technical staff

Florian Angeletti [Inria, Engineer, from Sep 2019]

Sébastien Hinderer [Inria, Engineer]

Interns and Apprentices

Paulo Emílio de Vilhena [Inria, from Apr 2019 to Aug 2019]

Carine Morel [Inria, from Apr 2019 to Aug 2019]

Antoine Hacquard [Inria, from Sep 2019 to Jan 2020]

Administrative Assistant

Hélène Milome [Inria, Administrative Assistant]

Visiting Scientist

Jacques Garrigue [Nagoya University, from Sep 2019]