Section: Team, Visitors, External Collaborators

Research Scientists

Karthikeyan Bhargavan [Team leader, Inria, Senior Researcher, HDR]
Amal Ahmed [Inria, Advanced Research Position, until Jul 2018]
Bruno Blanchet [Inria, Senior Researcher, HDR]
Harry Halpin [Inria, Starting Research Position]
Catalin Hritcu [Inria, Researcher]
Prasad Naldurg [Inria, Advanced Research Position, from May 2018]
Éric Tanter [Inria, Advanced Research Position, from Jul 2018]

Post-Doctoral Fellows

Danel Ahman [Inria, until Sep 2018]
Roberto Blanco Martinez [Inria]

PhD Students

Benjamin Beurdouche [Inria]
Nadim Kobeissi [Inria, until Jul 2018]
Natalia Kulatova [Inria]
Kenji Maillard [Ecole Normale Supérieure Paris]
Denis Merigoux [Inria, from Nov 2018]
Marina Polubelova [Inria]
Jean-Karim Zinzindohoué [Ministère de l'Intérieur, until Jun 2018]
Carmine Abate [Inria, from Jun 2018]
Benjamin Lipp [Inria, from Jun 2018]
Jérémy Thibault [Inria, from Aug 2018]

Technical staff

Iness Ben Guirat [Inria, from Aug 2018]
Victor Dumitrescu [Inria, until Nov 2018]
Florian Groult [Inria, from Nov 2018]
Théo Laurent [Inria, from Jul 2018]
Denis Merigoux [Inria, from Feb 2018 until Jun 2018]
Marc Sylvestre [Inria, until Sep 2018]

Interns

Florian Groult [Inria, from Apr 2018 until Oct 2018]
Elizabeth Labrada Deniz [Inria, from Oct 2018]
Guido Martinez [Inria, from Sep 2018]
Carmine Abate [Inria, until May 2018]
Benjamin Lipp [Inria, until May 2018]
Jérémy Thibault [Inria, from Feb 2018 until Jul 2018]

Administrative Assistants

Anna Bednarik [Inria, until Oct 2018]
Mathieu Mourey [Inria]

Visiting Scientist

Aaron Weiss [Northeastern University, until Jul 2018]

External Collaborators

David Baelde [Ecole Normale Supérieure Cachan, until Aug 2018]
Théo Laurent [Ecole Normale Supérieure Paris, until Jun 2018]
Jean-Karim Zinzindohoué [Ministère de l'Intérieur, from Jul 2018]
Victor Dumitrescu [Nomadic Labs, from Dec 2018]