Scholar
Ulrik Buchholtz
Google Scholar ID: 21mdbgMAAAAJ
University of Nottingham
Citations & Impact
Citations
339
H-index
10
i10-index
11
Publications
20
Co-authors
13
list available
Publications
Resume
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
