I’m a PhD student at the University of Gothenburg and Chalmers University of Technology, in the Logic and Types unit. My main supervisor is Christian Sattler, and my co-supervisors are Thierry Coquand and Chaitanya Leena Subramaniam. I’m interested in (higher) category theory and its relation to homotopy theory and variations of homotopy type theory.