About Ulrik Buchholtz

I'm a logician/computer scientist/mathematician who likes to work on homotopical and/or foundational matters, often related to homotopy type theory. Assistant professor at the School of Computer Science at the University of Nottingham.

Lists

Timeline

buchholtz has no activity yet