born on October the 5th, 1964, married, 2 children.
I hold a research position at INRIA since 1991.
I was head of the CROAP group (successor to Gilles Kahn) from 1994 to 1998.This research group was centered on the development of generic interactive programming environments and, later, on proof development environment for formal proofs. The group contained up to 20 people, mostly researchers in computer science , Ph.D students, and computer engineers. We produced and maintained tools like Centaur, and CtCoq.
Publications can be seen at this link, while distributed software can be seen at this link.