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: Personnel

Research Scientists

Xavier Leroy [Team leader, Inria, Senior Researcher]
Umut Acar [Carnegie Mellon University & Inria, Advanced Research Position]
Damien Doligez [Inria, Researcher]
Fabrice Le Fessant [Inria, Researcher, until Sep 2017]
Jean-Marie Madiot [Inria, Researcher]
Luc Maranget [Inria, Researcher]
Michel Mauny [Inria, Senior Researcher]
François Pottier [Inria, Senior Researcher, HDR]
Michael Rainey [Inria, Starting Research Position]
Didier Rémy [Inria, Senior Researcher, HDR]

Post-Doctoral Fellows

Gergö Barany [Inria, from Mar 2017]
Adrien Guatto [Inria, from Sep 2017]

PhD Students

Vitalii Aksenov [Inria]
Armaël Guéneau [Université Paris Diderot]
Naomi Testard [Inria]
Thomas Williams [ENS Paris]

Technical staff

Sébastien Hinderer [Inria, Research Engineer, 80%]
Thomas Blanc [Inria, from Apr 2017 until Sep 2017]


Idir Lankri [Inria, from Jun 2017 until Jul 2017]
Danny Willems [Inria, from Feb 2017 until May 2017]

Administrative Assistant

Laurence Bourcier [Inria]