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, where I presently lead the Dreampal team https://team.inria.fr/dreampal. My research interests are formal methods in a broad sense (theorem proving, model checking, model-based testing, algebraic specifications and rewriting) and their applications in language engineering.
Google Scholar profile (citations, h-index, etc): http://scholar.google.fr/citations?user=uDBCQR8AAAAJ&hl=en
|1999||-||:||Inria (Institut National de Recherche en Informatique et Automatique)|
|1997||-||1999||:||SRI International (formerly, Stanford Research Institute)|
|1993||-||1997||:||University of Nantes|