Creation of the Project-Team: 2006 May 01
Section: Team, Visitors, External Collaborators
Research Scientists
Xavier Leroy [Team leader, Inria, Senior Researcher, until Oct 2018; Collège de France, Prof, since Nov 2018]Umut Acar [Inria, Advanced Research Position, until Apr 2018]
Damien Doligez [Inria, Researcher]
Ioannis Filippidis [Inria, Starting Research Position, since Oct 2018]
Fabrice Le Fessant [Inria, Researcher, until Jan 2018]
Jean-Marie Madiot [Inria, Researcher]
Luc Maranget [Inria, Researcher]
Michel Mauny [Inria, Senior Researcher]
François Pottier [Inria, Senior Researcher, HDR]
Mike Rainey [Inria, Starting Research Position, until Feb 2018]
Didier Rémy [Inria, Senior Researcher, HDR]
Post-Doctoral Fellow
Gergö Barany [Inria, until Aug 2018]PhD Students
Vitaly Aksenov [Inria, until Aug 2018]Armaël Guéneau [Université Paris Diderot]
Glen Mével [Inria, since Nov 2018]
Naomi Testard [Inria]
Thomas Williams [ENS Paris, until Aug 2018]
Technical staff
Sébastien Hinderer [Inria]Interns
Lucas Baudin [ENS Paris, from Mar 2018 to Aug 2018]Nathanaël Courant [Inria, from Mar 2018 to Jul 2018]
Glen Mével [ENS Cachan, from Mar 2018 to Aug 2018]
Simon Colin [École Polytechnique, from April 2018 to July 2018]
Émilie Guermeur [Inria, from May 2018 to Jul 2018]
Sébastien Michelland [Inria, from Jun 2018 to Jul 2018]