Informations professionnelles
Statut: Doctorant en troisième année
ED: EDITE
Unité de recherche: LIP6
Equipe: DELYS
Employeur: INRIA Date de debut de thèse: 1 novembre 2019 Directrice de thèse: Julia LAWALL (Inria-Paris (ED-130)) Encadrant : Dagand PIERRE-EVARISTE (IRIF) Sujet de thèse: Effectful programs and their proofs in type theory Thématique : Systèmes et réseaux
Equipe: DELYS
Employeur: INRIA Date de debut de thèse: 1 novembre 2019 Directrice de thèse: Julia LAWALL (Inria-Paris (ED-130)) Encadrant : Dagand PIERRE-EVARISTE (IRIF) Sujet de thèse: Effectful programs and their proofs in type theory Thématique : Systèmes et réseaux