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]
Benjamin Grégoire [Inria, Researcher]
José Grimm [Inria, Researcher]
Laurence Rideau [Inria, Researcher]
Enrico Tassi [Inria, Researcher]
Laurent Théry [Inria, Researcher]


Maxime Dénès [Inria, granted by Caisse des Dépôts et Consignations]

PhD Student

Boris Djalal [Inria, from Mar 2015]

Visiting Scientists

Isabela Dramnesc [University of Timisoara, from Jun 2015 until Jul 2015]
Tsvetan Dunchev [University of Bologna, Jul 2015]

Administrative Assistant

Nathalie Bellesso [Inria]


Cécile Baritel-Ruet [ENS Cachan, Student, from Mar 2015 until May 2015]
Jean-Yves Franceschi [ENS Lyon, Student, from Jun 2015 until Jul 2015]
Loic Pottier [Min. de l'Education Nationale, High School teacher, HdR]