Institution. Radboud University

People

Frits Vaandrager fritsvaandragerHead of Department of Software Science · Radboud University
PhD advisorJan Bergstra
PostdocsTiago Ferreira
PhDUniversity of Amsterdam
cs.ru.nl/F.Vaandrager · 0000-0003-3955-1910

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

Herman Geuvers hermangeuversProfessor (part-time) · Radboud University
PhD advisorHenk Barendregt
PhD studentsNiels van der Weide
PostdocsNiels van der Weide
PhDRadboud University
Master’sRadboud University
cs.ru.nl/~herman · 0000-0003-2522-2980

Jana Wagemaker janawagemakerAssistant Professor, Software Science Group · Radboud University
PhD advisorAlexandra Silva, Jurriaan Rot
Postdoc advisorAntonis Achilleos, Luca Aceto
PhDRadboud University
janawagemaker.github.io · 0000-0002-8616-3905

Klaas Landsman klaaslandsmanProfessor of Mathematical Physics · Radboud University
PhD studentsChris Heunen
math.ru.nl/~landsman

Simcha van Collem simchavancollemRadboud University
0009-0004-9621-1415

Steven Bronsveld stevenbronsveldRadboud University
0009-0003-0477-6711

Tiago Ferreira tiagoferreiraPostdoctoral Researcher · Radboud University
PhD advisorAlexandra Silva, Peter O’Hearn
Postdoc advisorFrits Vaandrager, Jurriaan Rot
PhDUniversity College London
UndergraduateUniversity College London
tiferrei.com · 0000-0002-6942-0228 · https://github.com/tiferrei · @tiferrei@hachyderm.io

PhD alumni

Alexandra Silva alexandrasilvaProfessor of Computer Science · Cornell University
PhD advisorJan Rutten, Marcello M. Bonsangue
PhD studentsJana Wagemaker, Mark Moeller, Noam Zilberstein, Tiago Ferreira, Tobias Kappé, Wojciech Różowski
PostdocsCheng Zhang, Jules Jacobs, Kevin Batz
PhDRadboud University
UndergraduateUniversidade do Minho
alexandrasilva.org · 0000-0001-5014-9784

Chris Heunen chrisheunenProfessor of Quantum Programming · University of Edinburgh
PhD advisorBart Jacobs, Klaas Landsman
PhDRadboud University
Master’sRadboud University
homepages.inf.ed.ac.uk/cheunen · 0000-0001-7393-2640 · https://github.com/chrisheunen

Herman Geuvers hermangeuversProfessor (part-time) · Radboud University
PhD advisorHenk Barendregt
PhD studentsNiels van der Weide
PostdocsNiels van der Weide
PhDRadboud University
Master’sRadboud University
cs.ru.nl/~herman · 0000-0003-2522-2980

Jana Wagemaker janawagemakerAssistant Professor, Software Science Group · Radboud University
PhD advisorAlexandra Silva, Jurriaan Rot
Postdoc advisorAntonis Achilleos, Luca Aceto
PhDRadboud University
janawagemaker.github.io · 0000-0002-8616-3905

Jules Jacobs julesjacobsAssistant Professor in Computer Science · ETH Zurich
PhD advisorRobbert Krebbers, Stephanie Balzer
Postdoc advisorAlexandra Silva, Nate Foster
PhDRadboud University
julesjacobs.com · 0000-0003-1976-3182 · https://github.com/julesjacobs

Niels van der Weide nielsvanderweidePostdoctoral Researcher · Eötvös Loránd University
PhD advisorHerman Geuvers, Ralf Hinze
Postdoc advisorAmbrus Kaposi, Herman Geuvers
PhD studentsCass Alexandru
PhDRadboud University
Master’sRadboud University
UndergraduateRadboud University
nmvdw.github.io · 0000-0003-1146-4161 · nmvdw

Master’s alumni

Cass Alexandru cassalexandruPhD · RPTU Kaiserslautern-Landau
PhD advisorJurriaan Rot, Niels van der Weide, Ralf Hinze
Master’sRadboud University
UndergraduateLudwig-Maximilians-Universität München
cxandru.ee · 0009-0008-5210-2873 · cxandru · @cxandru@types.pl

Chris Heunen chrisheunenProfessor of Quantum Programming · University of Edinburgh
PhD advisorBart Jacobs, Klaas Landsman
PhDRadboud University
Master’sRadboud University
homepages.inf.ed.ac.uk/cheunen · 0000-0001-7393-2640 · https://github.com/chrisheunen

Herman Geuvers hermangeuversProfessor (part-time) · Radboud University
PhD advisorHenk Barendregt
PhD studentsNiels van der Weide
PostdocsNiels van der Weide
PhDRadboud University
Master’sRadboud University
cs.ru.nl/~herman · 0000-0003-2522-2980

Niels van der Weide nielsvanderweidePostdoctoral Researcher · Eötvös Loránd University
PhD advisorHerman Geuvers, Ralf Hinze
Postdoc advisorAmbrus Kaposi, Herman Geuvers
PhD studentsCass Alexandru
PhDRadboud University
Master’sRadboud University
UndergraduateRadboud University
nmvdw.github.io · 0000-0003-1146-4161 · nmvdw

Undergraduate alumni

Maaike Annebet Zwart maaikeannebetzwartPostdoc · IT University of Copenhagen
PhDUniversity of Oxford
Master’sUniversity of Amsterdam
UndergraduateRadboud University
maaikezwart.com · 0000-0002-0257-1574

Niels van der Weide nielsvanderweidePostdoctoral Researcher · Eötvös Loránd University
PhD advisorHerman Geuvers, Ralf Hinze
Postdoc advisorAmbrus Kaposi, Herman Geuvers
PhD studentsCass Alexandru
PhDRadboud University
Master’sRadboud University
UndergraduateRadboud University
nmvdw.github.io · 0000-0003-1146-4161 · nmvdw

Formerly here

Alexandra Silva alexandrasilvaProfessor of Computer Science · Cornell University
PhD advisorJan Rutten, Marcello M. Bonsangue
PhD studentsJana Wagemaker, Mark Moeller, Noam Zilberstein, Tiago Ferreira, Tobias Kappé, Wojciech Różowski
PostdocsCheng Zhang, Jules Jacobs, Kevin Batz
PhDRadboud University
UndergraduateUniversidade do Minho
alexandrasilva.org · 0000-0001-5014-9784

Bas Spitters basspittersAssociate professor · Aarhus University
cs.au.dk/~spitters · 0000-0002-2802-0973

Herman Geuvers hermangeuversProfessor (part-time) · Radboud University
PhD advisorHenk Barendregt
PhD studentsNiels van der Weide
PostdocsNiels van der Weide
PhDRadboud University
Master’sRadboud University
cs.ru.nl/~herman · 0000-0003-2522-2980

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

Matteo Sammartino matteosammartinoSenior Lecturer · Royal Holloway University of London
PhDUniversity of Pisa
Master’sUniversity of Pisa
UndergraduateUniversity of Pisa
0000-0003-1456-2242

Niels van der Weide nielsvanderweidePostdoctoral Researcher · Eötvös Loránd University
PhD advisorHerman Geuvers, Ralf Hinze
Postdoc advisorAmbrus Kaposi, Herman Geuvers
PhD studentsCass Alexandru
PhDRadboud University
Master’sRadboud University
UndergraduateRadboud University
nmvdw.github.io · 0000-0003-1146-4161 · nmvdw

Sam Staton samstatonProfessor of Computer Science · University of Oxford
PhD advisorMarcelo P. Fiore
PhD studentsAntonin Delpeuch, Cristina Matache
PostdocsDaniel Gratzer, Hugo Paquet, Sean Moss
PhDUniversity of Cambridge
cs.ox.ac.uk/people/samuel.staton/main.html · 0000-0002-7149-3805

Thorsten Wißmann thorstenwissmannPostdoctoral Researcher · FAU Erlangen-Nürnberg
PhDFAU Erlangen-Nürnberg
Master’sFAU Erlangen-Nürnberg
UndergraduateFAU Erlangen-Nürnberg
thorsten-wissmann.de · 0000-0001-8993-6486 · t-wissmann

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