Fiche de NIGRON Pierre

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