Hugo Herbelin

INRIA, Rocquencourt-Paris, équipe π r2, au sein du laboratoire PPS
Coordinateur de l'équipe de développement du logiciel Coq

E-mail: Hugo.Herbelin at inria.fr
Adresse physique : bureau 3029, 3e étage, Bâtiment Sophie Germain, 9 place Aurélie Nemours, 75013 Paris (au niveau du 56 avenue de France)
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

Principaux centres d'intérêts scientifiques

Mes thèmes de recherche s'intègrent aux domaines suivants, avec notamment la correspondance fondamentale entre preuves et programmes comme ligne directrice :

- Théorie de la preuve : logique classique, théorie des types, interprétations calculatoires, ...
- Fondements des langages de programmation : opérateurs de contrôle, délimiteurs, machines abstraites, effets de bord, appel par nécessité, systèmes de types, ...
- Assistants de preuves : développement du système Coq