Graduate course, Ludwig-Maximilians-Universität München, Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen, 2025
I will be the TA of Jasmin Blanchette for Interactive Theorem Proving. The course followed The Hitchhiker’s Guide to Logical Verification.
Undergraduate course, Ludwig-Maximilians-Universität München, Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen, 2025
I will lead a seminar on the application of algebra to computer science. See the course’s page.
Graduate course, Ludwig-Maximilians-Universität München, Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen, 2024
I led a practical on formalization in Lean. See the course’s page.
Graduate course, Ludwig-Maximilians-Universität München, Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen, 2024
I was the TA of Jasmin Blanchette for Interactive Theorem Proving. The course followed The Hitchhiker’s Guide to Logical Verification.
Undergraduate course, Ludwig-Maximilians-Universität München, Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen, 2024
I led a seminar on the application of algebra to computer science. See the course’s page.
Undergraduate course, Université de Montréal, Département de mathématiques et statistique, 2023
I was the TA of Matilde Lalín for the intro class to rings and modules. The course followed the excellent notes by Dimitris Koukoulopoulos.
Undergraduate course, Université de Montréal, Département de mathématiques et statistique, 2022
I was the TA of Matilde Lalín for the intro class to group theory. The course follows more or less the first few chapters of Dummit and Foote.
Undergraduate course, Université de Montréal, Département de mathématiques et statistique, 2021
I was the TA of Olivier Mila for the intro class to group theory.