Previous | 
Home
Creation of the Project-Team: 2012 July 01
Section: Members
Research Scientists
Karthikeyan Bhargavan [Inria, Team leader, HdR]Bruno Blanchet [Inria, Senior Researcher, HdR]
Graham Steel [Inria, Researcher, HdR]
Catalin Hritcu [Inria, Researcher from Oct 2013]
Alfredo Pironti [Inria, Starting Research position from Oct 2013]
Engineer
Romain Bardou [Inria]PhD Students
Evmorfia-Iro Bartzia [Inria]David Cadé [Inria]
Antoine Delignat-Lavaud [Inria]
Robert Künnemann [Inria]
Miriam Paiola [Inria]
Post-Doctoral Fellows
Gergely Bana [Inria]Benjamin Smyth [Inria]
Visiting Scientist
Pierre-Malo Deniélou [Lecturer, Royal Holloway, University of London]Administrative Assistants
Stephanie Aubin [Inria, until Aug 2013]Anna Bednarik [Inria, from Oct 2013]