Hugo Herbelin


Ph. D. Université Paris Diderot - Paris 7 1995 France
Dissertation: Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes.

Advisor 1: Thierry Coquand

Click here to see the students listed in chronological order.

Ilik, DankoÉcole Polytechnique2010
Lebresne, SylvainUniversité Paris Diderot - Paris 72008
Miquel, AlexandreUniversité Paris Diderot - Paris 720013
Miquey, ÉtienneUniversidad de la Republica, Montevideo, Uruguay and Université Paris Diderot - Paris 72017
Narboux, JulienUniversité Paris-Sud XI - Orsay20061
Patey, LudovicUniversité Paris Diderot - Paris 72016
Pédrot, Pierre-MarieUniversité Paris Diderot - Paris 72015
Siles, VincentÉcole Polytechnique2010

According to our current on-line database, Hugo Herbelin has 8 students and 10 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 137317 for the advisor ID.