Section: Members

Research Scientists

Pierre-Louis Curien [Team leader, CNRS, Senior Researcher, HdR]
Yves Guiraud [Inria, Researcher]
Hugo Herbelin [Inria, Senior Researcher, HdR]
Jean-Jacques Lévy [Inria, Senior Researcher (Emeritus), HdR]
Alexis Saurin [CNRS, Researcher]
Matthieu Sozeau [Inria, Researcher]

Faculty Members

Thierry Coquand [Univ. of Göteborg, Inria international chair]
Pierre Letouzey [Univ. Paris VII, Associate Professor]
Frédéric Loulergue [Univ. Orléans, Professor, until Aug 2015]
Yann Régis-Gianas [Univ. Paris VII, Associate Professor]

Engineers

Daniel de Rauglaudre [Inria]
Matej Kosik [Inria, from Oct 2015]

PhD Students

Cyrille Chenavier [Univ. Paris VII]
Maxime Lucas [Univ. Paris VII]
Guillaume Claret [Univ. Paris VII]
Thibaut Girka [granted by CIFRE (MITSUBISHI)]
Lourdes Del Carmen González Huesca [Univ. Paris VII, until Dec 2015, granted by ANR Paral ITP project]
Étienne Miquey [Univ. Paris VII]
Jovana Obradović [Univ. Paris VII]
Ludovic Patey [Univ. Paris VII]
Samanta Socci [Inria, until Feb 2015]
Pierre-Marie Pédrot [Univ. Paris VII, until Oct 2015]
Cyprien Mangin [Ecole Polytechnique]
Gabriel Lewertowski [Ecole Polytechnique]
Amina Doumane [Univ. Paris VII, funded by Ile de France]

Post-Doctoral Fellow

Marc Lasson [Inria, until Aug 2015]

Administrative Assistant

Lindsay Polienor [Inria]

Others

Akira Yoshimizu [PhD student at Tokyo Univ., Inria international internship, until Apr 2015]
Paul-André Melliès [External collaborator, CNRS, researcher]
Philippe Malbos [External collaborator, Univ. Lyon 1, associate professor]
Claudia Faggian [External collaborator, CNRS, researcher]