Lionel Vaux
Ph.D. Université de la Méditerranée 2007
Dissertation:
λ-calcul différentiel et logique classique : interactions calculatoires
Mathematics Subject Classification: 68—Computer science
Advisor 1: Laurent Regnier
Advisor 2: Thomas Ehrhard
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Leventis, Thomas | Aix-Marseille Université | 2016 | |
| Chouquet, Jules | Université Paris Cité | 2019 | |
| Olimpieri, Federico | Università degli Studi di Roma Tre and Aix-Marseille Université | 2020 | |
| Galal, Zeinab | Université de Paris | 2021 |
According to our current on-line database, Lionel Vaux has 4 students and 4 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 283303 for the advisor ID.