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]