Teaching

HoTTEST Summer School 2022

Summer school, Online, 2022

Summer school on homotopy type theory and Agda. I was a teaching assistant involved in tutoring and holding exercise sessions. All lectures and exercise sessions can be found here, including my sessions.

Teaching assistant (computational mathematics)

Undergraduate courses in computational mathematics, Stockholm University, Department of Mathematics, 2020

Teaching assistant for various courses in computational mathematics, starting 2020 (ongoing). Duties primarily include exercise sessions, tutoring and grading. See the following list for the courses I am/have been part of.

Teaching assistant (mathematics)

Undergraduate courses in mathematics, Stockholm University, Department of Mathematics, 2019

Teaching assistant for various courses in mathematics taught between 2019 and 2020. Duties primarily included tutoring and grading. See the following list for the courses I have been part of.