Section: Team, Visitors, External Collaborators

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]
Benjamin Farinier [Univ Paris-Sud, ATER, from Oct 2018]

Post-Doctoral Fellows

Benedikt Becker [Inria, from Jun 2018]
Claudio Belo Da Silva Lourenco [Univ Paris-Sud, from Sep 2018]
Frank Florian Steinberg [Inria, from Oct 2018]

PhD Students

Martin Clochard [Inria, until Mar 2018]
Albin Coquereau [École Nationale Supérieure de Techniques Avancées]
David Declerck [Univ Paris-Sud, until Aug 2018]
Florian Faissole [Inria]
Diane Gallois-Wong [Univ Paris-Sud]
Quentin Garchery [Univ Paris-Sud, from Oct 2018]
Mário Pereira [Grant Portuguese government]
Raphaël Rieu-Helft [CIFRE TrustInSoft]
Mattias Roux [Univ Paris-Sud]

Technical staff

Sylvain Dailler [Inria]

Administrative Assistant

Katia Evrat [Inria]