Coordinateur de l'équipe de développement du logiciel Coq
E-mail: Hugo.Herbelin at inria.fr
Adresse physique : 3e étage, Bâtiment Sophie Germain, 8 Place FM/13, 75013 Paris
Adresse postale : Laboratoire PPS, Université Paris Diderot - Paris 7, Case 7014, 75205 Paris Cedex 13
Téléphone : +33 (0) 1 57 27 90 87