Previous | 
Home
Creation of the Team: 2012 January 01, updated into Project-Team: 2012 July 01
Section: Members
Research Scientists
Karthikeyan Bhargavan [Team leader, Inria, Senior Researcher, HdR]Bruno Blanchet [Inria, Senior Researcher, HdR]
Harry Halpin [Inria, Starting Research position, from Nov 2015]
Catalin Hritcu [Inria, Researcher]
Engineers
Gergely Bana [Inria, granted by FP7 PROSECO- ERC CRYSP project]Benjamin Beurdouche [Inria, granted by FP7 PROSECO- ERC CRYSP project]
PhD Students
Antoine Delignat-Lavaud [Inria, until Sep 2015, granted by FP7 PROSECO- ERC CRYSP project]Yannis Juglaret [Inria, from Mar 2015]
Nadim Kobeissi [Inria, from Feb 2015]
Jean-Karim Zinzindohoué [Min. Ecologie]
Administrative Assistant
Anna Bednarik [Inria]Others
Simon Forest [ENS Paris, until Aug 2015]Li-Yao Xia [ENS Paris, until Aug 2015]
Alfredo Pironti [Politecnico di Torino]
Santiago Zanella Beguelin [MSR-Inria]