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]