I am currently a postdoctoral researcher at Inria Paris in the AOSTE team. I work on the probabilistic analysis of real-time systems. I am also interested in their synthesis and optimization.
I was a PhD student in Computer Science within the Emeraude team at the CRIStAL laboratory , University of Lille1, France. My thesis was supervised by Julien Forget
and Richard Olejnik.
I received my MSc degree in Computer Science from the University of Lille1, France, in 2012.
Besides my professional occupation, and beyond computer science, I practice fencing (épée) for more a long time and I am national referee since the age of eighteen. Swimming and running conclude the list of my main sport activities.