Tel. (+33) (0)3 59 57 78 24
I was a PhD student in Computer Science from 1993 to 1996 at the university
, where I worked with Pr. Olivier Roux
on using hybrid automata and temporal logic for verifying real-time programs.
After my PhD I was a reasearch and teaching assistant at the university of Nantes for one year and then a post-doct at
(formerly Stanford Research Institute; why didn't they keep that name?) in Menlo Park, California in the PVS
group, for 18 months.
I joined Inria
in 1999 and have been a researcher at Inria Rennes
October 2008 I moved to Inria
in the DaRT
which I am leadig since the beginning of 2012.