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

Creation of the Team: 2014 January 01, updated into Project-Team: 2015 April 01

Section: Personnel

Research Scientists

François Fages [Team leader, Inria, Senior Researcher, HDR]
Grégory Batt [Inria, Senior Researcher, HDR]
Jakob Ruess [Inria, Researcher]
Sylvain Soliman [Inria, Researcher, HDR]

Faculty Member

Philippe Dague [Univ Paris-Sud, Professor, from Feb 2017 until Aug 2017]

Post-Doctoral Fellows

Jean-Baptiste Lugagne [Inria, until Jan 2017, then MSC lab (CNRS/Paris7) until Aug 2017]
Chiara Fracassi [Inria, until Aug 2017]

PhD Students

Chetan Aditya [Inria, from Nov 2017]
Virgile Andreani [Ecole Polytechnique]
Jean Baptiste Caron [Inria, until Feb 2017]
Sebastian Ramon Sosa Carrillo [Inria, from Aug 2017]

Technical staff

David Coudrin [Inria, from Nov 2017]
Steven Fletcher [Inria, from Apr 2017]


Sebastian Ramon Sosa Carrillo [Inria, AIV master, until Apr 2017]
Arthur Carcano [Inria, master MPRI, Ecole Normale Supérieure Paris, from Mar 2017 to Jul 2017]
Elea Greugny [Pasteur, 4th year student, INSA Lyon, from Apr 2017 to Aug 2017]
Jeremy Grignard [Inria, from Apr 2017 to Aug 2017]

Administrative Assistant

Corinne Petitot [Inria]

External Collaborator

Denis Thieffry [Ecole Normale Supérieure Paris, HDR]