Fiche de NIGRON Pierre

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