Lionel Vaux

MathSciNet


Ph.D. Université de la Méditerranée 2007 France
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.

NameSchoolYearDescendants
Leventis, ThomasAix-Marseille Université2016
Chouquet, JulesUniversité Paris Cité2019
Olimpieri, FedericoUniversità degli Studi di Roma Tre and Aix-Marseille Université2020
Galal, ZeinabUniversité de Paris2021

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.