Hej!

I’m a postdoc at the School of Computer Science at the University of Nottingham. The position is funded by a scholarship I was awarded from the Knut and Alice Wallenberg foundation and is hosted by Ulrik Buchholtz. Recently, I was a Ph.D. student in the computational mathematics division of the department of mathematics at Stockholm University. There, I was working on a project on homotopy type theory under the supervision of Anders Mörtberg.

My primary research interests are synethetic homotopy theory and computer formalisation, primarily in (Cubical) Agda. My thesis was mainly concerned with the formalisation of cohomology theories and Guillaume Brunerie’s Ph.D. thesis. I’m interested in anything HoTT related. If you are too and would like to work on something together, please get in touch!