Section: Personnel

Research Scientists

Karthikeyan Bhargavan [Team leader, Inria, Senior Researcher, HDR]
Amal Ahmed [Inria, Advanced Research Position, from Sep 2017]
David Baelde [Ecole Normale Supérieure Cachan, Researcher, until Aug 2017]
Bruno Blanchet [Inria, Senior Researcher, HDR]
Harry Halpin [Inria, Starting Research Position]
Catalin Hritcu [Inria, Researcher]

Post-Doctoral Fellows

Danel Ahman [Inria, from Oct 2017]
Marco Stronati [Inria]

PhD Students

Benjamin Beurdouche [Inria]
Nadim Kobeissi [Inria]
Natalia Kulatova [Inria, from Nov 2017]
Kenji Maillard [Ecole Normale Supérieure Paris]
Marina Polubelova [Inria, from Sep 2017]
Jean-Karim Zinzindohoué [Ministère de l'Ecologie, de l'Energie, du Développement durable et de la Mer]

Technical staff

Danel Ahman [Inria, from Apr 2017 until Sep 2017]
Gergely Bana [Inria, until Jan 2017, granted by FP7 ERC CIRCUS project]
Victor Dumitrescu [Inria]
Guglielmo Fachini [Inria]
Natalia Kulatova [Inria, until Oct 2017]
Tomer Libal [Inria, until Jul 2017]
Marc Sylvestre [Inria]

Interns

Carmine Abate [Inria, from Dec 2017]
William Bowman [Inria, from Oct 2017]
Keith Cannon [Inria, from Mar 2017 until Sep 2017]
Theo Laurent [Inria, from Mar 2017 until Aug 2017]
Benjamin Lipp [Inria, from Dec 2017]
Clement Pit Claudel [Inria, from Jul 2017 until Oct 2017]

Administrative Assistants

Anna Bednarik [Inria]
Helene Milome [Inria]
Mathieu Mourey [Inria]

Visiting Scientists

Ana Evans [University of Virginia, from Apr 2017 until Aug 2017]
David Evans [University of Virginia, from Apr 2017 until Aug 2017]
Lucca Hirschi [Ministère de l'Enseignement Supérieur et de la Recherche, until Sep 2017]
Jake Silverman [Inria, from Jun 2017 until Aug 2017]
Aaron Weiss [Northeastern University, from Sep 2017]

External Collaborators

David Baelde [Ecole Normale Supérieure Cachan, from Sep 2017]
Theo Laurent [Ecole Normale Supérieure Paris, from Aug 2017]
Jonathan Protzenko [Microsoft Research]