From 2018 to 2022, I taught a math competition class at the St. Louis Modern Chinese School.
In 2020, some friends and I wrote an Intro to Python for teaching Python to middle schoolers.
During Splash 2025, I taught a class about Lean to high schoolers using the Natural Number Game. Most of the students successfully proved 2 + 2 = 4 from just the Peano axioms and one girl was so proud of her proof that she even took a photo of it.
During IAP 2026, I taught a class about Lean to other MIT students and helped with teaching a category theory class.