Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Creation of the Team: 2011 December 01, updated into Project-Team: 2017 January 01

Section: Members

Research Scientists

Gilles Dowek [Team Leader, Inria, Senior Researcher, HDR]
Frédéric Blanqui [Inria, Researcher, HDR]

PhD Students

Guillaume Bury [Univ. Paris VII]
Frédéric Gilbert [Min. Ecologie]
François Thiré [ENS Cachan, since October 2016]
Raphaël Cauderlier [CNAM, until August 2016]
Pierre Halmagrand [CNAM, until November 2016]

Post-Doctoral Fellow

Simon Martiel [Univ. Paris-Est Créteil]

Visiting Scientists

Jean-Pierre Jouannaud [Professor Emeritus, Univ. Paris-Saclay, HDR]
Guillaume Burel [ENSIIE, Associate Professor]
Catherine Dubois [ENSIIE, Professor, HDR]
Olivier Hermant [Mines ParisTech, Researcher]

Administrative Assistant

Thida Iem [Inria]