We have a paper accepted at the FTSCS workshop: It will be presented in Paris, November 6.


I am a post-doctorate in computer science. Since September 2012, I am at INRIA Rennes/IRISA. I am working in the ESTASYS team with Axel Legay.

Previously, from January 2011 until August 2012, I worked for the danish research center MT-LAB. I worked at the IT University of Copenhagen with Andrzej Wąsowski and at Aalborg University with professor Kim G. Larsen. In 2010, I worked in the Software Technologies Laboratory of the University of Florence in Italy, with professor Enrico Vicario

From 2006 to 2009 I was a Ph.D student in Control Theory and Applied Computer Science of the University of Nantes, in the french laboratory IRCCyN. I was working in the Real Time Systems team with Olivier (H.) Roux, David Delfieu and Didier Lime.

I defended my Ph.D thesis the 27th of November 2009 at the IRCCyN in Nantes. The title is:

"Model-checking and unfoldings of parametric time Petri nets"

The manuscript and the slides of the defense are available (in french) on HAL or here.

I have been involved in the following events:


I am working on quantitative verification of critical systems using formal methods. Using model-based approaches, I try to verify formal specifications of the system's correctness. We apply rigorous mathematical analyses on these models, for instance to measure execution times or energy consumption, to estimate probabilities of failures, or optimize performances by synthesizing temporal or stochastic parameters. These works have practical applications in embedded systems, used in astronautics, transports (avionics, cars ...) or medical equipment. I study the following approaches:


I have participated to the development of the following tools: