Yves Bertot

born on October the 5th, 1964, married, 2 children.

Main diplomas

Professional experience

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.

Yves Bertot
Last modified: Sun Mar 4 22:45:56 MET 2001