Institution. Université Paris Saclay

People

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

Jean-Christophe Filliâtre jeanchristophefilliatreUniversité Paris Saclay
PhD advisorChristine Paulin-Mohring
PhD studentsLéon Gondelman, Mário Pereira
PhDUniversité Paris-Sud
usr.lmf.cnrs.fr/~jcf · https://github.com/backtracking

Patrick Massot patrickmassotUniversité Paris Saclay
PostdocsFloris van Doorn
imo.universite-paris-saclay.fr/~patrick.massot

PhD alumni

Léon Gondelman leongondelmanAssistant Professor · Aalborg University
PhD advisorAndrei Paskevich, Jean-Christophe Filliâtre
PhDUniversité Paris Saclay
0000-0001-8262-6397 · https://github.com/leon-gondelman

Mário Pereira mariopereiraAssistant Professor · NOVA School of Science and Technology (NOVA LINCS)
PhD advisorJean-Christophe Filliâtre
PhDUniversité Paris Saclay
Master’sUniversidade do Porto
mariojppereira.github.io · 0000-0002-7048-9425 · https://github.com/mariojppereira

Formerly here

Floris van Doorn florisvandoornUniversity of Bonn
PhD advisorJeremy Avigad, Steve Awodey
Postdoc advisorPatrick Massot, Tom Hales
PhDCarnegie Mellon University
Master’sUtrecht University
UndergraduateUtrecht University
florisvandoorn.com · 0000-0003-2899-8565
universite-paris-saclay institution entries/institutions/universite-paris-saclay.hel