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]