Teaching
Teaching
In 2022, I was awarded the Junior Teaching Award of the Faculty of Science, Technology and Medicine at the University of Luxembourg. A short video about it is available here.
Dynamic Logic, Master's course in Logic, Charles University (course webpage).
Lecturer for four classes on modal logic & propositional dynamic logic, October/November 2025.
Modal Logic and Proof Theory, Master's course in Computer Science, University of Groningen.
Lecturer for two classes on neighborhood semantics & game logic, January 2025.
General Topology (x2), Bachelor's course in Mathematics, University of Luxembourg. Lecturer: Bruno Teheux
Teaching Assistant, Winter Semesters 2022/23 and 2023/24.
Linear Algebra 2 (x3), Bachelor's course in Computer Science, University of Luxembourg. Lecturer: Antonella Perucca
Teaching Assistant/Tutor, Summer Semesters 2021, 2022 and 2023.
Linear Algebra 1, Bachelor's course in Computer Science, University of Luxembourg, Lecturer: Antonella Perucca
Tutor, Winter Semester 2021/22.
The Mathematics of Voting, Project Supervision for the Bachelor Student Seminar, University of Luxembourg, Summer Semester 2023.