Institution. University of Nottingham

link · nottingham.ac.uk · ROR

People

Dan Marsden danmarsdenAssistant professor · University of Nottingham
stringdiagram.com · 0000-0003-0579-0323

Ulrik Buchholtz ulrikbuchholtzAssistant Professor · University of Nottingham
PhD advisorSolomon Feferman
Postdoc advisorGerhard Jäger, Steve Awodey, Thomas Streicher, Ulrich Kohlenbach
PhDStanford University
Master’sUniversity of Copenhagen
UndergraduateUniversity of Copenhagen
ulrikbuchholtz.dk · 0000-0002-5944-6838 · https://github.com/UlrikBuchholtz/ · @buchholtz@mathstodon.xyz

PhD alumni

João F. Ferreira joaofferreiraUniversidade do Porto
PhDUniversity of Nottingham
Master’sUniversidade do Minho
joaoff.com · 0000-0002-6612-9013

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