Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Creation of the Project-Team: 2019 August 01

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]