Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
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: 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]


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]

Administrative Assistant

Laurence Bourcier [Inria]