Section: Members

Research Scientists

Gilles Dowek [Team leader, Inria, Senior Researcher, HdR]
Frédéric Blanqui [Inria, Researcher, HdR]

Faculty Member

David Delahaye [CNAM, Associate Professor, HdR]

PhD Students

Guillaume Bury [ENS Paris, from Mar 2014]
Ali Assaf [École Polytechnique]
Simon Cruanes [École Polytechnique]
Frédéric Gilbert [École des Ponts ParisTech]
Kailiang Ji [Inria]
Kim Quyen Ly [Inria, until Oct 2014]

Post-Doctoral Fellows

Hugo Dos Santos Macedo [Inria, until May 2014]
Vaston Goncalves Da Costa [Universidade Federal de Goias, from Mar 2014]
Alejandro Díaz-Caro [ATER Univ. Paris X, until Sep 2014]
Arnaud Spiwack [ENSM Paris, from Nov 2014]

Visiting Scientists

Edward Hermann Häusler [PUC Rio, Professor, until Apr 2014]
Ying Jiang [ISCAS, Senior Researcher, from Apr 2014 until Jun 2014]

Administrative Assistants

Hélène Milome [Inria, until May 2014]
Virginie Collette [Inria, from June 2014]

Others

Gaëtan Gilbert [ENS Lyon, Intern, from Feb 2014 until Jun 2014]
Julien Rateau [ENSIIE, Intern, from Jun 2014 until Aug 2014]
Guillaume Burel [ENSIIE, Associate Professor]
Raphaël Cauderlier [CNAM]
Catherine Dubois [ENSIIE, Professor, HdR]
Pierre Halmagrand [CNAM]
Olivier Hermant [ENSM Paris, Associate Professor]
Ronan Saillard [ENSM Paris]