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]


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]