Previous | 
Home
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]
Interns
Idir Lankri [Inria, from Jun 2017 until Jul 2017]Danny Willems [Inria, from Feb 2017 until May 2017]