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.