Teaching

In summer 2023, I was hired by Amsterdam University College to redesign the course Logic, Information, Argumentation to be taught a visually impaired student, and did so over an intensive period of one month.

This involved altering the structure and of presenation of the course content to be as clear as possible for the student, and properly compatible with braille. I would then create and grade homework exercises, and at the end, administered an exam, which the student passed.

I have TA'd for two courses during my time at Universiteit Leiden:

• Foundations of Computer Science (FoCS), Fall 2025
• Proof Formalisation, Winter 2025

My responsibilities in both courses involved grading and giving workgroups to guide students through exercises. In FoCS, I gave a 90-minute lecture on the topic of Countability and Modular Arithmetic.

Throughout my undergrad, I became a tutor at the math help desk organised by the department at McGill. Over my time there I also became the help desk's manager/organiser. This came to a head during COVID, when I took on the task of building a small PHP website for sharing Zoom links between tutors and students remotely.

Through my work with the department tutoring, I also became a regular lecturer for the maths undergraduate society at McGill (SUMS), giving review lectures in preparation for the final exams of several courses.

Throughout 2023, I worked on a project to use Minecraft as an educational tool for logic, funded by a Comenius grant. The goal was to use the expressive and interactive ability of Minecraft in a undergraduate course in basic logic.