Previous | 
Home
Creation of the Project-Team: 2006 May 01
Section: Members
Research Scientists
Xavier Leroy [Team leader, Inria, Senior Researcher]Umut Acar [Carnegie Mellon University, Advanced Research position]
Damien Doligez [Inria, Researcher]
Fabrice Le Fessant [Inria, Researcher]
Luc Maranget [Inria, Researcher]
François Pottier [Inria, Senior Researcher, HdR]
Mike Rainey [Inria, Starting Research position]
Didier Rémy [Inria, Senior Researcher, HdR]
Faculty Member
Pierre Courtieu [CNAM, Associate Professor on délégation]PhD Students
Vitalii Aksenov [Inria, from Sep 2015]Arthur Guillon [ENS Cachan, until Jan 2015]
Jacques-Henri Jourdan [Inria, granted by ANR VERASCO project]
Gabriel Scherer [ENS Paris and Inria]
Thomas Williams [ENS Paris]
Post-Doctoral Fellows
Maxime Dénès [Inria, until Sep 2015]Pietro Abate [Inria]
Filip Sieczkowski [Inria]
Administrative Assistant
Cindy Crossouard [Inria]Others
Keryan Didier [Inria, Student Intern, from Apr 2015 to Aug 2015]Benjamin Farinier [Inria, Student Intern, until Aug 2015]
Armaël Guéneau [ENS Lyon, Student Intern, until Jul 2015]