Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

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

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]


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]