Publications

Master’s thesis - Formalizing Cartesian Cubical Sets in UniMath. Awarded the Mittag-Leffler prize for excellent master’s theses at Stockholm University. Defended March 2020. Supervisor: Anders Mörtberg. (PDF)

Bachelor’s thesis - An Introduction to Algebraic Geometri and Bezout’s Theorem. Defended June 2018. Supervisor: Gregory Arone. (PDF)

Ongoing education

PhD candidate in Programming Theory at the University of Bergen. Supervisors: Håkon Robbestad Gylterud (Apr 2020 - Nov 2023), Anders Mörtberg (Dec 2023 -).

Degrees

Master of Science with main field of study: Mathematics. Issued at Stockholm University in April 2020.

Bachelor of Science with main field of study: Mathematics. Issued at Stockholm University in November 2018.