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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Chouquet, Jules | Université Paris Cité | 2019 | |
| Galal, Zeinab | Université de Paris | 2021 | |
| Leventis, Thomas | Aix-Marseille Université | 2016 | |
| Olimpieri, Federico | Università degli Studi di Roma Tre and Aix-Marseille Université | 2020 |
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.