Section: Members

Research Scientists

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

PhD Students

Simon Cruanes [École Polytechnique, until Sep 2015]
Ali Assaf [École Polytechnique, until Sep 2015]
Guillaume Bury [ENS Paris, Université Paris Diderot]
Frédéric Gilbert [Ecole des Ponts ParisTech]
Kailiang Ji [ANR Locali, until Oct 2015]
Raphaël Cauderlier [CNAM]
Pierre Halmagrand [CNAM]
Ronan Saillard [ENSM Paris, until Sep 2015]

Post-Doctoral Fellows

Vaston Goncalves Da Costa [Universidade Federal de Goias, until Feb 2015]
Simon Martiel [Université Joseph Fourier, since Oct 2015]
Arnaud Spiwack [ENSM Paris, until Oct 2015]

Visiting Scientists

Bruno Bernardo [Until Sep 2015]
Ying Jiang [ISCAS, Aug-Sep 2015]
Guillaume Burel [MdC ENSIIE]
David Delahaye [MdC CNAM, until Aug 2015, HdR]
Catherine Dubois [Pr ENSIIE, HdR]
Olivier Hermant [ENSM Paris]
Jean-Pierre Jouannaud [Université Paris-Sud, École Polytechnique, HdR]

Administrative Assistant

Virginie Collette [Inria]

Others

Gaetan Gilbert [Intern, until Aug 2015]
Shuai Wang [Intern, ENS Cachan, Mar-Aug 2015]
Éric Uzena [Intern, Denis Diderot]