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]