Soutenance de thèse de Théo WINTERHALTER (équipe Gallinette)
Soutenance de thèse de Théo WINTERHALTER (équipe Gallinette)
Théo Winterhalter, doctorant au sein de l'équipe Gallinette, soutiendra sa thèse intitulée "Formalisation et Méta-Théorie de la Théorie des Types" / "Formalisation and Meta-Theory of Type Theory" vendredi 18 septembre 2020 à 14h. Jury : - Directeur thèse : Nicolas Tabareau - Co-encadrant : Mathieu Sozeau - Rapporteurs : Andrej Bauer (U Ljubljana), Herman Geuvers (Raboud University, Nijmegen) - Autres membres : Assia Mahboubi, Bas Spitters (Aarhus University), Andreas Abel…