Section: Personnel

Research Scientists

Claude Marché [Team leader, Inria, Senior Researcher, HDR]

Sylvie Boldo [Inria, Senior Researcher, HDR]

Jean-Christophe Filliâtre [CNRS, Senior Researcher, HDR]

Guillaume Melquiond [Inria, Researcher]

Faculty Members

Sylvain Conchon [Univ Paris-Sud, Professor, HDR]

Andrei Paskevich [Univ Paris-Sud, Associate Professor]

Thibault Hilaire [Associate Professor, Délégation de l'Univ Pierre et Marie Curie, from Sep 2017]

PhD Students

Ran Chen [Institute of Software, Chinese Academy of Sciences, Beijing, China, visiting until Feb. 2017]

Martin Clochard [Univ Paris-Sud until Aug, Inria since Sep]

Albin Coquereau [École Nationale Supérieure de Techniques Avancées]

David Declerck [Univ Paris-Sud]

Florian Faissole [Inria]

Diane Gallois-Wong [Univ Paris-Sud, from Oct 2017]

Mário Pereira [Grant Portuguese government]

Raphaël Rieu-Helft [CIFRE TrustInSoft, from Oct 2017]

Mattias Roux [Univ Paris-Sud]

Technical staff

Sylvain Dailler [Inria]

Clément Fumex [Inria, until Mar 2017]

Interns

Diane Gallois-Wong [Ecole Normale Supérieure Paris, from Apr 2017 until Jul 2017]

Raphaël Rieu-Helft [Ecole Normale Supérieure Paris, until Mar 2017]

Lucas Baudin [Ecole Normale Supérieure Paris, until Jan 2017]

Ilham Dami [Inria, from May 2017 until Jul 2017]

Vincent Tourneur [Inria, from Sep 2017]

Administrative Assistant

Katia Evrat [Inria]