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