Upcoming Teaching
This fall, I will be teaching Math 1400 and Math 4100 at UPenn.
- For information about 1400, see here.
- For information about 4100, download the tentative syllabus.
Past University Teaching
UPenn
Courses taught as a Hans Rademacher Instructor (postdoc):
- 1300: Introduction to Calculus
- 1400: Calculus I
- 4100: Complex Analysis
UCLA
I was a teaching assistant for the following math classes at UCLA:
- 114L: Mathematical Logic
- 180: Graph Theory
- 170: Probability
- 106: History of Math
- 33A: Linear Algebra
- 61: Discrete Math
In 2019, I assisted at the Curtis Center.
Caltech
At Caltech, I was a teaching assistant for Ma6a: Discrete Math.
Outreach
Canada/USA Mathcamp
I have taught for several summers at Canada/USA Mathcamp, which I also attended in high school. Here are problems and notes for some of the classes I taught:
- Incidence Combinatorics [problems]
- Model Theory [notes]
- Surreal Numbers [problems] [impartial games] [partizan games]
- Sperner’s Lemma and Brouwer’s Fixed Point Theorem [problems]
- Theorem Proving in Lean (cowritten with Apurva Nakade and Jalex Stark)[link]
- VC-Dimension [notes]
Email me for solutions.
Olga Radko Math Circle
Most Sundays during my time at UCLA, I taught high school students at the Olga Radko Math Circle, which I also attended in middle and high school. Here are some of the lessons I wrote:
- Electrical circuits and random walks [pdf 1] [pdf 2]
- The Cantor Set [pdf 1][pdf 2]
- Triangulated polygons and frieze patterns [pdf 1] [pdf 2]
- Generating Functions [pdf]
- Graph Theory, Sperner’s Lemma, Brouwer’s Fixed Point Theorem [pdf 1] [pdf 2]
- Game Theory [pdf]
- Cryptography [pdf]
- Dynamical Systems (mostly on the Logistic map and the Mandelbrot set) [pdf]
Email me for solutions.
Advising
I have advised a number of students through mathematics formalization projects in Lean. These include a Directed Reading Project with Norman Chen at UCLA, and a number of students at Canada/USA Mathcamp. Two of these projects that ended up pushing code to mathlib include Gabin Kolly’s master’s thesis and this Mathcamp project by Alex Zhao.