In April 2012, has become officially an Equipe-Projet Commune, between Inria, Université Paris Diderot Paris 7, and CNRS.
From December 11, 2012, the team has moved to the Sophie Germain building of the university, which hosts the Mathematics and Computer Science departments of the university.
Creation of the Team: January 01, 2009 , Updated into Project-Team: January 01, 2011Section: Members
Research Scientists
Pierre-Louis Curien [Team leader, DR CNRS, HdR]Yves Guiraud [CR Inria]
Hugo Herbelin [DR Inria, HdR]
Alexis Saurin [CR CNRS]
Matthieu Sozeau [CR Inria]
Faculty Members
Pierre Letouzey [MC Paris 7]Yann Régis-Gianas [MC Paris 7]
Philippe Malbos [MC Lyon 1, en délégation Inria]
Engineer
Xavier Clerc [Ingénieur Coq]PhD Students
Pierre Boutillier [Allocation couplée, Paris 7]Guillaume Claret [Allocation couplée, Paris 7, since October 2012]
Lourdes del Carmen Gonzalez Huesca [Funding by the ANR PARAL-ITP, since December 2011]
Guillaume Munch-Maccagnoni [Allocation couplée, Paris 7]
Pierre-Marie Pédrot [Allocation couplée, Paris 7]
Matthias Puech [Cotutelle avec l'Université de Bologne, ATER Paris 7]
Post-Doctoral Fellows
Federico Aschieri [Inria funding, until September 2012]Nicolas Ayache [Postdoc of the european project “CerCo”, until June 2012]
Jaime Gaspar [Postdoc of the Foundation SMP, since September 2012]
Arnaud Spiwack [Inria funding, until September 2012]
François Bobot [Funding by European project CERCO, October-December 2012]