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]