I did my PhD at the university of Nantes (1993-1996), and was a post-doctoral researcher at SRI International (formerly Stanford Research Institute) in Menlo Park, California in the PVS group. I joined Inria as a permanent researcher in 1999, first in Rennes, and then in Lille. My research interests are formal methods in a broad sense (theorem proving, model hecking, model-based testing, algebraic specifications and rewriting) and their applications in software development.
Google Scholar profile (citations, h-index, etc): http://scholar.google.fr/citations?user=uDBCQR8AAAAJ&hl=en
1999 | - | : | Inria | |
1997 | - | 1999 | : | SRI International |
1993 | - | 1997 | : | University of Nantes |