I am a PhD. student at LSV under the supervision of Laurent Fribourg. I work on the modeling, verification and scheduling of parametric timed systems. I also work on control for hybrid systems. I work on the development of the model checker IMITATOR and MINIMATOR, a tool for controller synthesis.
I am a teacher assistant at University Paris Sud XI and at Polytech Paris Sud, an engineer school in the following courses: