Ulrik Buchholtz

https://ulrikbuchholtz.dk/ [email protected]

University of Nottingham Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham. ❤️ Homotopy Type Theory/Univalent Mathematics