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]