Miscellaneous

I am a contributor to mathlib, the main repository of math formalized in the Lean theorem prover. My contributions are visible on github.
 In summers 20112014, I attended Canada/USA Mathcamp, and I recommend it most strongly for highschoolers interested in math.
 As an undergrad, I helped organize the Caltech Harvey Mudd Math Competition, a oneday, onsite math competition for high school students.
 Dabney Pumpkin Drop: Every Halloween, residents of Caltech's Dabney Hovse freeze pumpkins in liquid nitrogen and drop them off the tallest building on campus, Millikan Library. I was one of the pumpkindroppers for several years, and was interviewed for this video.