LIP6 CNRS Sorbonne Université
Direct Link LIP6 » News » PhD students

NIGRON Pierre

PhD student
Team : APR
Arrival date : 11/01/2019
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 3, Bureau 331
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 88 04, Pierre.Nigron (at) nulllip6.fr

Supervision : Pierre-Evariste DAGAND

Effectful programs and their proofs in a dependently-typed setting

 Mentions légales
Site map |