Teaching
I have held the following TA (teaching assistant– primarily grading) and IA (instructional assistant– primarily instruction, like holding tutorials, office hours, etc.) roles while at the University of Waterloo:
- CS 115, Introduction to Computer Science 1, Fall 2024 (TA) [Course Page]
- CS 245, Introduction to Logic for Computer Science, Winter 2025 (IA) [Course Page]
- CS 245, Introduction to Logic for Computer Science, Spring 2025 (IA) [Course Page]
- CS 245, Introduction to Logic for Computer Science, Fall 2025 (IA) [Course Page]
- WiM DRP Course Lead, leading a reading course on Creative Telescoping and Automatic Combinatorics
- CS 245, Introduction to Logic for Computer Science, Spring 2026 (IA) [Course Webpage] [Tutorial Notes]
Learning
Previously while at Waterloo, I took:
- CS 860: Commutative Algebra and Algebraic Complexity, Spring 2025
- PMATH 745: Representation Theory of Finite Groups, Winter 2025
- CS 687: Intro to Symbolic Computation, Winter 2025
- CO 795: Fundamentals of Optimization, Fall 2024
- CS 350: Operating Systems, Fall 2024