Coordinator of the Coq development team
E-mail: Hugo.Herbelin at inria.fr
Office : Room 37, 5th floor, 23 avenue d'Italie, 75013 Paris, France
Surface mail: INRIA, 23 avenue d'Italie, CS 81321, 75214 Paris Cedex 13, France
Phone: +33 (0) 1 39 63 59 28