Romain Cyril Kervarc

MathSciNet


Doctorat ès Sciences École Normale Supérieure de Lyon 2007 France
Dissertation: Systèmes de types purs et substitutions explicites
Mathematics Subject Classification: 68—Computer science

Advisor: Pierre Lescanne

Student:

NameSchoolYearDescendants
Piel, ArianeOffice National d'Etudes et de Recherches Aérospatiales and Université Paris XIII2014

According to our current on-line database, Romain Kervarc has 1 student and 1 descendant.
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 106854 for the advisor ID.