Teaching
I love to teach.
Penn
I TA at Penn some semesters of the academic year.
- Fall 2025—MATH 1070: Mathematics of Change, Part I
SCI Chester
In Spring 2026, I cotaught a pilot workshop with three other Penn graduate students at State Correctional Institution Chester.
- Spring 2026—Math in the Courtroom, with Athina Avrantini, Maxine Calle, Mona Merling, and Marc Muhleisen
Mathcamp
Teaching at Mathcamp is a unique experience. Over the course of a summer, a Mathcamp instructor designs and teaches (approximately) five (approximately) weeklong courses on subjects of their choosing, targeted towards extremely motivated high-school-aged students. I would be super excited to talk with anyone about the pedagogical choices behind any of these classes, as well as to share content and discuss things I would change :).
-
2026, Week 1—The Curry-Howard Isomorphism
A five-day introduction to the Curry-Howard isomorphism. We spent a day defining deductive systems, a day building propositional logic, two days building the simply-typed lambda calculus, and then just saw directly on the board that they were the same system. Then we spent the last day seeing what insights we could extract from this.
-
2026, Week 2—Some Cool Spaces, with Maya Saran
An informal discussion of some cool spaces, and the philosophical question of what makes a space cool. We covered the topologist’s sine curve, the long line, the Warsaw circle, and the rational circle.
-
2026, Week 3—The Many Faces of the Euler Characteristic: An Introduction to Algebraic K-theory
An introduction to cut-and-paste algebraic K-theory as a vast generalization of the Euler characteristic. The primary pedagogical innovation of this class was defining via its universal property, without any mention of categories—instead seeing it as a kind of generalized Grothendieck group defined on “cut-and-paste contexts”, which are sets with a quaternary relation . This simple structure let us develop surprisingly much machinery, such as the localization theorem, and compute of vector spaces, simplicial complexes, surfaces, and more; without assuming more background than a typical Mathcamp student has.
-
2026, Week 4—Indifference
A discussion course on the principle of indifference, as studied in Bayesian epistemology, and especially the “restricted” principle of indifference formulated by Elga. Readings included Elga’s Defeating Dr. Evil With Self-Locating Belief and Self-Locating Belief and the Sleeping Beauty Problem, Weatherson’s Should We Respond to Evil With Indifference?, and Marcoci’s Monty Hall Saves Dr. Evil.
-
2026, Week 5—Truth in Fiction
A discussion-based introduction to the problem of truth in fiction, especially focusing on the problem of contradictory fiction and other questions relevant to substructural logics. Readings included Lewis’s Truth in Fiction, Priest’s Sylvan’s Box, and Chiang’s Division by Zero.
-
2026, Week 5—A "Topological" Proof of the Infinitude of Primes
A one-day course introducing Furstenberg’s proof of the infinitude of primes, and asking whether the extra machinery gives it any different mathematical value from Euclid’s proof.
-
2025, Week 1—Extra Stretchy Rubber-Sheet Geometry
An informal introduction to the fundamental group, without relying on any underlying point-set topology.
-
2025, Week 2—Category Theory from Scratch, with Della Hendrickson
An inquiry-based introduction to category theory. At the start of the class, students made a list of various families of mathematical constructions they thought could be generalized—like the cartesian product of sets and the direct product of groups—then searched for categorical properties encapsulating these families.
-
2025, Week 3—Oops All Algebra: An Introduction to Infinity-Categories
An introduction to the theory of infinity-categories in the model of quasicategories. We discussed the need for such a theory, the difficulties with handling coherence, defined simplicial sets, studied the nerve of a category to motivate the definition of a quasicategory, and sketched the proof that infinity-groupoids are Kan complexes.
-
2025, Week 4—A Tour of Paradox
A survey of various paradoxes from philosophical and mathematical history. Each day started with a ~10 minute lecture discussing the paradox, and then students discussed the paradox and talked about how various mathematical ideas might help us think about it differently. Paradoxes discussed included Zeno’s paradoxes of motion, the Sorites paradox and other paradoxes of ambiguity, paradoxes of the material conditional, and paradoxes of self-reference like the liar’s and Russell’s paradoxes.
-
2025, Week 5—A Cute Combinatorics Problem
An introduction to the combinatorics of saturated transfer systems and submonoids.
Reed
Course-assisting at Reed consists of grading, holding office hours, and being an intermediary between the students and professor.
- Fall 2021–Spring 2024—CSCI 121: Computer Science Fundamentals I
- Spring 2024—Math 111: Calculus
- Spring 2024, Fall 2022—CSCI 387: Computability and Complexity
- Fall 2023—Math 201: Linear Algebra
- Fall 2023—CSCI 384: Programming Language Design and Implementation
- Spring 2023—Math 332: Abstract Algebra
- Spring 2023—CSCI 393: Operating Systems
- Fall 2022—CSCI 122: Intermediate Computer Science Fundamentals I
- Spring 2022—CSCI 221: Computer Science Fundamentals II