Semantic Foundations of Intermediate Program Representations
ENS Rennes Salle du Conseil
Plan d'accès
Soutenance de thèse de Delphine Demange (ENS Cachan - IRISA).
Spécialité Informatique
- Thématique(s)
- Recherche - Valorisation
- Contact
-
Delphine Demange
Mise à jour le 15 décembre 2016
Jury :
- Xavier Leroy : Directeur de recherche - INRIA / rapporteur
- John Gregory Morrisett : Professeur des universités - Harvard University / rapporteur
- Luc BOUGÉ : Professeur des universités - ENS Cachan - Bretagne / examinateur
- Albert COHEN : Directeur de recherche - INRIA / examinateur
- Marie-Laure POTET : Professeur des universités - ENSIMAG / examinatrice
- Thomas JENSEN : Directeur de recherche - INRIA / directeur de thèse
- David PICHARDIE : Chargé de recherche - INRIA / co-directeur de thèse
Dans la même rubrique