Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Creation of the Team: 2012 September 01, updated into Project-Team: 2014 July 01

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]


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]