Section: Team, Visitors, External Collaborators

Research Scientists

Gilles Dowek [Team leader, Inria, Senior Researcher, HDR]

Bruno Barras [Inria, Researcher]

Frédéric Blanqui [Inria, Researcher, HDR]

Faculty Member

Guillaume Burel [ENSIIE, Associate professor, En délégation]

Post-Doctoral Fellows

Rodolphe Lepigre [Inria]

Franck Slama [Inria, from May 2018]

PhD Students

Guillaume Bury [Université Paris Diderot, until Sep 2018]

Mohamed Yacine El Haddad [Université de Paris-Saclay]

Gaspard Férey [Univserité de Paris-Saclay]

Guillaume Genestier [Université de Paris-Saclay]

François Thiré [Université de Paris-Saclay]

Interns

Ismail Lachheb [CNRS, from May 2018 until Jul 2018]

Walid Moustaoui [Inria, from May 2018 until Jul 2018]

Aristomenis Papadopoulos [Inria, from Jun 2018 until Sep 2018]

Quentin Ye [Inria, from May 2018 until Jul 2018]

Administrative Assistants

Adeline Lochet [Inria, from Jul 2018]

Emmanuelle Perrot [Inria, until Jun 2018]

External Collaborators

Jean-Pierre Jouannaud [Emeritus, HDR]

Catherine Dubois [ENSIIE, HDR]

Olivier Hermant [École Nationale Supérieure des Mines de Paris, HDR]