Institution. Utrecht University

link · uu.nl · ROR

People

Paige Randall North paigerandallnorthAssistant Professor · Utrecht University
PhD advisorMartin Hyland
Postdoc advisorRob Ghrist, Sanjeevi Krishnan
PhDUniversity of Cambridge
UndergraduateUniversity of Chicago
paigenorth.github.io · 0000-0001-7876-0956

Wouter Swierstra wouterswierstraUtrecht University
PhD advisorThorsten Altenkirch
PhDUniversity of Nottingham
webspace.science.uu.nl/~swier004 · 0000-0002-0295-7944 · https://github.com/wouter-swierstra/

PhD alumni

Dorette Pronk dorettepronkProfessor · Dalhousie University
PhDUtrecht University
Master’sUtrecht University
dal.ca/faculty/science/math-stats/faculty-staff/our-faculty/mathematics/dorette-pronk.html

Henk Barendregt henkbarendregtRadboud University
PhD advisorDirk van Dalen, Georg Kreisel
PhD studentsHerman Geuvers
PhDUtrecht University
Master’sUtrecht University
cs.ru.nl/~henk

Jan Bergstra janbergstra
PhD advisorDirk van Dalen
PhD studentsFrits Vaandrager
PhDUtrecht University

Marc Bezem marcbezemEmeritus · University of Bergen
PhD advisorAnne Sjerp Troelstra, Dirk van Dalen
PhDUtrecht University
uib.no/en/persons/Marc.Bezem · 0000-0002-7320-1976

Master’s alumni

Dorette Pronk dorettepronkProfessor · Dalhousie University
PhDUtrecht University
Master’sUtrecht University
dal.ca/faculty/science/math-stats/faculty-staff/our-faculty/mathematics/dorette-pronk.html

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

Henk Barendregt henkbarendregtRadboud University
PhD advisorDirk van Dalen, Georg Kreisel
PhD studentsHerman Geuvers
PhDUtrecht University
Master’sUtrecht University
cs.ru.nl/~henk

Nico Naus niconausAdjunct Research Assistant Professor · Virginia Tech
Master’sUtrecht University
UndergraduateUtrecht University
niconaus.nl · 0000-0003-3442-1543

Undergraduate alumni

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

Nico Naus niconausAdjunct Research Assistant Professor · Virginia Tech
Master’sUtrecht University
UndergraduateUtrecht University
niconaus.nl · 0000-0003-3442-1543

Formerly here

Henk Barendregt henkbarendregtRadboud University
PhD advisorDirk van Dalen, Georg Kreisel
PhD studentsHerman Geuvers
PhDUtrecht University
Master’sUtrecht University
cs.ru.nl/~henk

Lambert Meertens lambertmeertensResearcher · Kestrel Institute

Nico Naus niconausAdjunct Research Assistant Professor · Virginia Tech
Master’sUtrecht University
UndergraduateUtrecht University
niconaus.nl · 0000-0003-3442-1543
utrecht-university institution entries/institutions/utrecht-university.hel