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]