Section: Members

Research Scientists

Gilles Dowek [Team leader, Senior Researcher Inria, HdR]

Catherine Dubois [Senior Researcher Inria, HdR]

Olivier Hermant [Mines ParisTech]

Faculty Members

Guillaume Burel [Associate Professor, ENSIIE/Cedric]

David Delahaye [Associate Professor, CNAM/Cedric, HdR]

Alejandro Díaz-Caro [Ater, Paris 10]

PhD Students

Ali Assaf [École polytechnique]

Simon Cruanes [École polytechnique]

Kailiang Ji [Paris Diderot]

Pierre Néron [École polytechnique]

Ronan Saillard [Mines ParisTech]

Visiting Scientists

Nachum Dershowitz [Tel Aviv]

Cecilia Englander [Puc-Rio]

Administrative Assistant

Hélène Milome

Others

Raphaël Bost [Intern, École polytechnique]

Quentin Carbonneaux [Intern, MPRI]

Raphaël Cauderlier [Intern, École Normale Supérieure de Cachan]