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 for mathematicians - Autumn 2019, Spring 2021, Spring 2022, Autumn 2022, and Autumn 2023.
Homotopical models of type theories (with Peter LeFanu Lumsdaine) - Autumn 2021.