Coordinator of the Coq development team
E-mail: Hugo.Herbelin at inria.fr
Office : 3th floor, Building Sophie Germain, 9 Place FM/13, 75013 Paris, France
Surface mail: Laboratoire PPS, Université Paris Diderot - Paris 7, Case 7014, 75205 Paris Cedex 13
Phone: +33 (0) 1 57 27 90 87