Ulrik Buchholtz

Ulrik Buchholtz is an Assistant Professor at the School of Computer Science, University of Nottingham, affiliated with the Functional Programming Lab. His research focuses on Homotopy Type Theory (HoTT), Univalent Foundations, and their applications in formalizing mathematics constructively. He holds a PhD from Stanford University (2013) under Solomon Feferman and an MSc from the University of Copenhagen.

His work bridges computer science and mathematics, emphasizing synthetic approaches to homotopy theory and category theory. He teaches courses like COMP1043 (Mathematics for Computer Scientists 2), using a customized open-source textbook. He has contributed to foundational projects such as the Symmetry book on group theory via univalent mathematics and co-organized events like the HoTTEST Summer School 2022.

His research spans topics including simplicial type theory, directed univalence, synthetic (∞,1)-category theory, and constructive mathematics. He actively engages in formalizing mathematical concepts using proof assistants like Agda and Lean.