Ulrik Buchholtz, postdoc
Ulrik Buchholtz is employed as postdoc at The Department of Mathematical Sciences from 1 November 2014.
Ulrik got a Master's degree from the MATH, University of Copenhagen, in 2008, supervised by Jesper Grodal.
He received his PhD in 2013 from Stanford University, USA, with a thesis studying Solomon Feferman's Unfolding Program as applied to theories of inductive definitions.
He worked as a postdoc at the Logic and Theory Group at the University of Bern in Switzerland in 2014 before returning to the University of Copenhagen as a postdoc starting 1 November.
Ulrik’s research interests include proof-theory, constructive mathematics and the new field of Univalent Foundations which combines type theory and homotopy theory in “homotopy type theory”.
You can find Ulrik in office 04.1.17