LIP6 CNRS Sorbonne Université
Direct Link LIP6 » News

DAGAND Pierre-Evariste

Senior Researcher
Team : APR
Departure date : 03/31/2021
https://pages.lip6.fr/Pierre-Evariste.Dagand

1 PhD student (Supervision / Co-supervision)

  • NIGRON Pierre : Effectful programs and their proofs in a dependently-typed setting

1 PhD graduated 2020

2016-2020 Publications

 Mentions légales
Site map |