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]