Irisa / Inria
Campus de Beaulieu, F-35042 Rennes Cedex, France
Tél : (+33) (0) 2 99 84 75 17 - fax : (33) 99 84 71 71
I was a PhD student in Computer Science from 1993 to 1996 at the University
( IRCyN ) in the Electre
where I worked on using hybrid automata and temporal logic to verify Electre
programs. After my PhD I was an assistant at the Nantes
Technical Institute (IUT) in the electrical engineering department.
Next, I went to do an 18-months post-doct at
International in Menlo Park, California in the PVS
I have been a researcher at Inria Rennes
the Vertecs group.In October 2008 I moved to Inria Lille in the DaRT group. I will write a new Web page one of these days...
Formal verification and testing of reactive, real-time, and hybrid systems.
Here they are, organized by year and my status at that time: