Informations professionnelles
Statut: Doctorant en troisième année
ED: EDITE
Unité de recherche: LIP6
Employeur: INRIA Date de debut de thèse: 1 novembre 2019 Directrice de thèse: Julia LAWALL (LIP6) Encadrant : Dagand PIERRE-EVARISTE (IRIF) Sujet de thèse: Effectful programs and their proofs in type theory Numéro PRD: 5897 Contrat thèse: Programmes Doctoraux
Employeur: INRIA Date de debut de thèse: 1 novembre 2019 Directrice de thèse: Julia LAWALL (LIP6) Encadrant : Dagand PIERRE-EVARISTE (IRIF) Sujet de thèse: Effectful programs and their proofs in type theory Numéro PRD: 5897 Contrat thèse: Programmes Doctoraux