Teaching (as lecturer)
I have taught the following course at the University of Bern:
Computability and complexity, bachelor course in computer science, spring semester 2021.
Teaching (as lecturer)
I have taught the following course at the University of Bern:
Computability and complexity, bachelor course in computer science, spring semester 2021.
Teaching (as assistant)
I have assisted the following courses at the University of Bern:
Proof theory, master course in mathematics and computer science, autumn semester 2023.
Computability and complexity, bachelor course in computer science, spring semester 2023.
Computability and complexity, bachelor course in computer science, spring semester 2022.
Foundations of technical computer science, bachelor course in computer science, autumn semester 2021.
Analysis 1, bachelor course in mathematics, autumn semester 2018.
Supervision
I have co-supervised (with Thomas Studer) the following theses:
Relativization and the P≠NP-conjecture, by Nina Frasa, bachelor thesis in mathematics, University of Bern, 2024.
Cut-elimination in non-wellfounded proof systems, by David Herrmann, master thesis in computer science, University of Bern, 2023.
Propositional dynamic logic, by Marula Bobst, bachelor thesis in computer science, University of Bern, 2023.