Institution. Université Paris Diderot

People

Vincent Balat vincentbalatUniversité Paris Diderot
PhD advisorRoberto Di Cosmo
PhDUniversité Paris Diderot
irif.fr/~balat

PhD alumni

Arthur Charguéraud arthurchargueraudInria
PhD advisorFrançois Pottier
Postdoc advisorUmut A. Acar
PhD studentsArmaël Guéneau
PhDUniversité Paris Diderot
chargueraud.org

Christine Paulin-Mohring christinepaulinmohringUniversité Paris Saclay
PhD advisorGérard Huet
PhD studentsJean-Christophe Filliâtre
PhDUniversité Paris Diderot
lri.fr/~paulin

Guillaume Munch-Maccagnoni guillaumemunchmaccagnoniInria
PhD advisorPierre-Louis Curien, Thomas Ehrhard
PhDUniversité Paris Diderot
guillaume.munch-maccagnoni.name · 0009-0001-7914-7165 · gadmm · @gadmm@mathstodon.xyz

Jean-Baptiste Tristan jeanbaptistetristanPrincipal Applied Scientist · Amazon Web Services
PhDUniversité Paris Diderot
Master’sEcole Normale Superieure
UndergraduateUniversité Paris Diderot
jtristan.github.io · 0000-0003-2574-7883

Jean-Jacques Lévy jeanjacqueslevyDirecteur de recherche émérite · Inria
PhD advisorMaurice Paul Nivat
PhD studentsSylvain Conchon
PhDUniversité Paris Diderot
pauillac.inria.fr/~levy

Pierre-Louis Curien pierrelouiscurienDirecteur de Recherche au CNRS émérite · IRIF (CNRS / Université Paris Cité), Inria πr2
PhD studentsGuillaume Munch-Maccagnoni, Thomas Ehrhard
PhDUniversité Paris Diderot
irif.fr/~curien · 0009-0000-1226-9574

Sylvain Conchon sylvainconchon
PhD advisorJean-Jacques Lévy
PhD studentsMohamed Iguernelala
PhDUniversité Paris Diderot

Thierry Coquand thierrycoquandProfessor · University of Gothenburg
PhD advisorGérard Huet
PostdocsEvan Cavallo
PhDUniversité Paris Diderot
cse.chalmers.se/~coquand · 0000-0002-5429-5153

Thomas Ehrhard thomasehrhardUniversité Paris Cité
PhD advisorPierre-Louis Curien
PhD studentsGuillaume Munch-Maccagnoni
PhDUniversité Paris Diderot
irif.fr/~ehrhard · 0000-0001-5231-5504

Vincent Balat vincentbalatUniversité Paris Diderot
PhD advisorRoberto Di Cosmo
PhDUniversité Paris Diderot
irif.fr/~balat

Master’s alumni

Alejandro Aguirre alejandroaguirreTenure-Track Assistant Professor · Aarhus University
Postdoc advisorLars Birkedal
PhDUniversidad Politécnica de Madrid
Master’sUniversité Paris Diderot
UndergraduateUniversidad Complutense de Madrid
pure.au.dk/portal/en/persons/ed9d6578-8666-4e42-988a-b91f6cf38b58 · 0000-0001-6746-2734

Undergraduate alumni

Jean-Baptiste Tristan jeanbaptistetristanPrincipal Applied Scientist · Amazon Web Services
PhDUniversité Paris Diderot
Master’sEcole Normale Superieure
UndergraduateUniversité Paris Diderot
jtristan.github.io · 0000-0003-2574-7883

Formerly here

Nicolas Behr nicolasbehrChargé de recherche (CR) CNRS · Université Paris Cité
PhDHumboldt-Universität zu Berlin
Master’sHumboldt-Universität zu Berlin
nicolasbehr.com · 0000-0002-8738-5040
universite-paris-diderot institution entries/institutions/universite-paris-diderot.hel