Creation of the Team: 2009 January 01, updated into Project-Team: 2011 January 01

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 [Emeritus Senior Researcher, HdR]

Alexis Saurin [CNRS, Researcher]

Matthieu Sozeau [Inria, Researcher]

Faculty Members

Thierry Coquand [Inria International Chair, from Dec 2014]

Pierre Letouzey [Univ. Paris VII, Associate Professor]

Frédéric Loulergue [Univ. Orléans, Professor (in delegation), from Sep 2014]

Philippe Malbos [Univ. Lyon I, Associate Professor (in delegation), until Aug 2014]

Yann Régis-Gianas [Univ. Paris VII, Associate Professor]

PhD Students

Maxime Lucas [Univ. Paris VII, funded by ANR Cathre]

Akira Yoshimisu [Tokyo University, Inria internship, from Nov 2014]

Pierre Boutillier [Univ. Paris VII, until Feb 2014]

Cyrille Chenavier [Univ. Paris VII, funded by the IDEX FOCAL project]

Guillaume Claret [ENS Paris, Univ. Paris VII]

Amina Doumane [Univ. Paris VII, funded by FSMP from Oct 2014]

Thibaut Girka [CIFRE contract with Mitsubishi Rennes, from Oct 2014]

Lourdes Del Carmen González Huesca [ATER Univ. Paris VII from Sep 2014, funded by ANR PARAL-ITP until Aug 2014]

Étienne Miquey [Univ. Paris VII, from Oct 2014]

Jovana Obradovic [Univ. Paris VII, from Oct 2014]

Ludovic Patey [Univ. Paris VII]

Pierre-Marie Pédrot [Univ. Paris VII]

Post-Doctoral Fellows

Eric Finster [Inria, granted by ANR PI.R2 - RECRE project, until Dec 2014]

Marc Lasson [Inria]

Arnaud Spiwack [ADT Coq, from Sep 2014 to Oct 2014]

Visiting Scientists

Steven Awodey [Carnegie Mellon University, Professor, from May 2014 until Jun 2014]

Peter Azcel [University of Manchester, Emeritus Professor, from Apr 2014 until Jul 2014]

Bas Spitters [Univ. of Nijmegen, from Apr 2014 until Nov 2014]

Samuel Van Gool [PhD student, granted by ANR PI.R2 - RECRE project, until Mar 2014]

Vladimir Voevodsky [Institute for Advanced Study, Princeton, from Jun 2014 until Jul 2014]

Wojciech Jedynak [Wroclaw Univ., PhD student, May 2014]

Administrative Assistants

Kadidiatou Barry [Inria, from Sep 2014]

Lindsay Polienor [Inria, on maternity leave from Sep 2014]


Paul-André Mellies [External collaborator, CNRS]