Supervision and teaching

PhD students

• Elisabeth Stenholm (University of Bergen), external main supervisor. Since 2023.

• Gabriel Saadia, co-supervisor. Main supervisor Peter LeFanu Lumsdaine. Started 2022.

• Errol Yuksel, co-supervisor. Main supervisor Peter LeFanu Lumsdaine. Started 2021.

• Axel Ljungström, main supervisor. Started 2020.

• Max Zeuner, main supervisor. Started 2019.

Bachelor and master students

I regularly supervise bachelor and master theses at Stockholm University. Please contact me by email if you are interested in doing one with me. (In 2024 I will most likely not take on any students as I will be on parental leave for parts of the year)

Teaching at Stockholm University

Current

• Programming paradigms - Spring 2024.

Upcoming

Earlier

• Programming paradigms - Spring 2020, 2021, 2022, and 2023.

• Programming for mathematicians - Autumn 2019, Spring 2021, Spring 2022, Autumn 2022, and Autumn 2023.

• Homotopical models of type theories (with Peter LeFanu Lumsdaine) - Autumn 2021.