Overall Objectives
Research Program
Application Domains
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 November 01

Section: Members

Research Scientists

Yves Bertot [Team leader, Inria, Senior Researcher, HdR]
Cyril Cohen [Inria, Researcher, from October 2014]
José Grimm [Inria, Researcher]
Benjamin Grégoire [Inria, Researcher]
Laurence Rideau [Inria, Researcher]
Enrico Tassi [Inria, Researcher, from September 2014]
Laurent Théry [Inria, Researcher]

Visiting Scientists

Amy Felty [Professor at University of Ottawa, Canada, on sabbatical leave, until Aug 2014]
Douglas Howe [Professor at Carleton University, Canada, until Jul 2014]

Administrative Assistant

Nathalie Bellesso [Inria]


Sophie Bernard [ENS Lyon, Master-2 student, from Mar 2014 until Aug 2014]
Guillaume Cano [Doctoral student, Inria, until Mar 2014]
Loic Pottier [Min. de l'Education Nationale, Researcher, HdR]