Hugo Herbelin
Ph. D. Université Paris Diderot - Paris 7 1995
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
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Miquel, Alexandre | Université Paris Diderot - Paris 7 | 2001 | 3 |
| Narboux, Julien | Université Paris-Sud XI - Orsay | 2006 | 1 |
| Lebresne, Sylvain | Université Paris Diderot - Paris 7 | 2008 | |
| Ilik, Danko | École Polytechnique | 2010 | 1 |
| Siles, Vincent | École Polytechnique | 2010 | |
| Pédrot, Pierre-Marie | Université Paris Diderot - Paris 7 | 2015 | |
| Patey, Ludovic | Université Paris Diderot - Paris 7 | 2016 | |
| Miquey, Étienne | Universidad de la Republica, Montevideo, Uruguay and Université Paris Diderot - Paris 7 | 2017 |
According to our current on-line database, Hugo Herbelin has 8 students and 11 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.