Creation of the Team: 2011 December 01, updated into Project-Team: 2017 January 01
Section: Personnel
Research Scientists
Gilles Dowek [Team leader, Inria, Senior Researcher, HDR]Frédéric Blanqui [Inria, Researcher, HDR]
Faculty Members
Guillaume Burel [ENSIIE, Associate Professor, delegation Inria since Aug 2017]Catherine Dubois [ENSIIE, Professor, HDR]
Olivier Hermant [Mines ParisTech, Associate Professor, HDR]
Post-Doctoral Fellows
Rodolphe Lepigre [Inria, from Sep 2017, until Dec 2018]Simon Martiel [Univ. Paris-Est Créteil, until Mar 2017]
PhD Students
Guillaume Bury [ENS Paris]Frédéric Gilbert [Ministère de l'Ecologie, de l'Energie, du Développement durable et de la Mer, until Aug 2017]
François Thiré [ENS Paris-Saclay]
Guillaume Genestier [ENS Paris-Saclay since Oct 2017, intern Ecole Polytechnique Apr-Aug 2017]
Gaspard Férey [Mines ParisTech since Sep 2017]
Administrative Assistants
Thida Iem [Inria until Jul 2017]Emmanuelle Perrot [Inria since Jul 2017]
Visiting Scientists
Jean-Pierre Jouannaud [Prof. Emeritus, Univ. Paris-Saclay, Ecole Polytechnique, HDR]Chaitanya Leena Subramaniam [Intern Ecole Polytechnique, Mar-Aug 2017]
Rafaël Bocquet [Intern ENS Paris Mar-Aug 2017]
Antoine Defourné [Intern ENSIMAG Feb-Aug 2017]