Institution. University of Birmingham

link · birmingham.ac.uk/index.aspx · ROR

People

Luca Arnaboldi lucaarnaboldiAssistant Professor · University of Birmingham
PhDNewcastle University
UndergraduateNewcastle University
birmingham.ac.uk/staff/profiles/computer-science/academic-staff/arnaboldi-luca · 0000-0002-0808-2456

Sam Speight samspeightResearch Fellow · University of Birmingham
PhD advisorSamson Abramsky
PhDUniversity of Oxford
Master’sCarnegie Mellon University
UndergraduateUniversity of Bristol
slspeight.github.io · 0009-0009-3706-9427 · https://github.com/slspeight

Sean Moss seanmossAssistant Professor, School of Computer Science · University of Birmingham
PhD advisorMartin Hyland
Postdoc advisorSam Staton
PhDUniversity of Cambridge
seankmoss.bitbucket.io · 0009-0005-3930-5340

PhD alumni

Michael Arntzenius michaelarntzeniusPostdoc · University of California, Berkeley
PhD advisorNeel Krishnaswami
Postdoc advisorMax Willsey
PhDUniversity of Birmingham
UndergraduateCarnegie Mellon University
rntz.net · 0009-0002-0417-5636 · https://github.com/rntz/ · @rntz@recurse.social

Norman Alfred Dudley normanalfreddudley
PhD advisorElsie Anna Grace Knowles, F. Benson
PhD studentsRodney Martineau Burstall
PhDUniversity of Birmingham

Rodney Martineau Burstall rodneymartineauburstall
PhD advisorK. Brian Haley, Norman Alfred Dudley
PhD studentsConor McBride, Donald Sannella, James McKinna, John Darlington
PhDUniversity of Birmingham
Master’sUniversity of Birmingham
UndergraduateUniversity of Cambridge

Master’s alumni

Rodney Martineau Burstall rodneymartineauburstall
PhD advisorK. Brian Haley, Norman Alfred Dudley
PhD studentsConor McBride, Donald Sannella, James McKinna, John Darlington
PhDUniversity of Birmingham
Master’sUniversity of Birmingham
UndergraduateUniversity of Cambridge

Formerly here

Benedikt Ahrens benediktahrensAssistant Professor · Delft University of Technology
PhD studentsKobe Wullaert
PostdocsJonathan Weinberger
PhDUniversité Côte d’Azur
Master’sUniversité Côte d’Azur
UndergraduateUniversität Bayreuth
benediktahrens.gitlab.io · 0000-0002-6786-4538 · benediktahrens

Jamie Vicary jamievicaryUniversity of Cambridge
PhD advisorChris Isham
PhD studentsAntonin Delpeuch
PhDImperial College London
UndergraduateUniversity of Oxford
cl.cam.ac.uk/~jv258

Jonathan Weinberger jonathanweinbergerAssistant Professor in computer science and mathematics · Chapman University
PhD advisorThomas Streicher
Postdoc advisorBenedikt Ahrens, Emily Riehl, Viktoriya Ozornova
PhDTechnical University of Darmstadt
Master’sTechnical University of Darmstadt
UndergraduateTechnical University of Darmstadt
sites.google.com/view/jonathanweinberger · 0000-0003-4701-3207 · https://github.com/jonweinb

Neel Krishnaswami neelkrishnaswamiProfessor of Computer Science · University of Cambridge
PhD advisorJohn C. Reynolds, Jonathan Aldrich
Postdoc advisorDerek Dreyer, Nick Benton
PhD studentsDmitrij Szamozvancev, Jad Elkhaleq Ghalayini, Michael Arntzenius, Rini Banerjee
PostdocsDimitrios J. Economou
PhDCarnegie Mellon University
cl.cam.ac.uk/~nk480 · 0000-0003-2838-5865 · neel-krishnaswami

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

Noam Zeilberger noamzeilbergerAssistant Professor in Computer Science · École Polytechnique
PhD advisorFrank Pfenning, Peter Lee
PostdocsLê Thành Dũng Nguyên
PhDCarnegie Mellon University
noamz.org · 0000-0002-5945-4184 · noamz
university-of-birmingham institution entries/institutions/university-of-birmingham.hel