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]