Scholar

Ulrik Buchholtz

Google Scholar ID: 21mdbgMAAAAJ

University of Nottingham

homotopy type theoryconstructive mathematicshigher topos theory

Citations & Impact

All-time

Citations

339

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

1 items

2025

Cited

Resume (English only)

Research Experience

Teaching COMP1043, Mathematics for Computer Scientists 2, at the University of Nottingham
Lecturer at the Midlands Graduate School 2024, delivering an advanced course on Synthetic Homotopy Theory
Instructor at the HoTTEST Summer School 2022, promoting accessibility and inclusivity in Homotopy Type Theory
Co-taught a two-semester sequence on Homotopy Type Theory with Paolo Capriotti (WiSe19/20 and SoSe2020)
Led a Seminar on Intuitionism and Constructive Mathematics at CMU in Spring 2016

Co-authors

13 total