Hej!

I’m a lecturer in the Mathematically Structured Programming Group at the University of Strathclyde. Prior to this, I was a postdoc with Ulrik Buchholtz at the University of Nottingham, working on a project funded by a scholarship was awarded to me by the Knut and Alice Wallenberg foundation. I did my a Ph.D. in computational mathematics at Stockholm University with Anders Mörtberg.

My primary research interests are synthetic 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!