Teaching (Lecturer)
Computability and Complexity
Bachelor Computer Science, University of Bern
Spring Semester 2021
Teaching (Lecturer)
Computability and Complexity
Bachelor Computer Science, University of Bern
Spring Semester 2021
Teaching (Assistant)
Proof Theory
Master Mathematics, Master Computer Science, University of Bern
Autumn Semester 2023
Computability and Complexity
Bachelor Computer Science, University of Bern
Spring Semester 2023
Computability and Complexity
Bachelor Computer Science, University of Bern
Spring Semester 2022
Foundations of Technical Computer Science
Bachelor Computer Science, University of Bern
Autumn Semester 2021
Analysis 1
Bachelor Mathematics, University of Bern
Autumn Semester 2018
Supervision
Nina Frasa: Relativization and the P≠NP-Conjecture
Bachelor Thesis in Mathematics, University of Bern, 2024
Co-Supervised with Thomas Studer
David Herrmann: Cut-Elimination in Non-Wellfounded Proof Systems
Master Thesis in Computer Science, University of Bern, 2023
Co-Supervised with Thomas Studer
Marula Bobst: Propositional Dynamic Logic
Bachelor Thesis in Computer Science, University of Bern, 2023
Co-Supervised with Thomas Studer