Teaching
I have taught and assisted courses in mathematics and computer science, and supervised several theses. Details are listed below.
Teaching
I have taught and assisted courses in mathematics and computer science, and supervised several theses. Details are listed below.
Teaching (Lecturer)
Computability and Complexity
Bachelor course in computer science
Spring Semester 2021
University of Bern
Teaching (Assistant)
Proof Theory
Master course in mathematics and computer Science
Autumn Semester 2023
University of Bern
Computability and Complexity
Bachelor course in computer science
Spring Semester 2022 & 2023
University of Bern
Foundations of Technical Computer Science
Bachelor course in computer science
Autumn Semester 2021
University of Bern
Analysis 1
Bachelor course in mathematics
Autumn Semester 2018
University of Bern
Supervision
Relativization and the P≠NP-Conjecture
By Nina Frasa
Bachelor thesis in mathematics
Co-supervised with Thomas Studer
University of Bern, 2024
Cut-Elimination in Non-Wellfounded Proof Systems
By David Herrmann
Master thesis in computer science
Co-supervised with Thomas Studer
University of Bern, 2023
Propositional Dynamic Logic
By Marula Bobst
Bachelor thesis in computer science
Co-supervised with Thomas Studer
University of Bern, 2023