Coordinateur de l'équipe de développement du logiciel Coq
E-mail: Hugo.Herbelin at inria.fr
Adresse physique : bureau 37, 5e étage, 23 avenue d'Italie, 75013 Paris
Adresse postale : INRIA, 23 avenue d'Italie, CS 81321, 75214 Paris Cedex 13
Téléphone : +33 (0) 1 39 63 59 28
Quand me trouver ?