I’m an Assistant Teaching Professor in the Applied Mathematics & Statistics department at Johns Hopkins University.
Most of my energy goes into looking for ways to improve mathematics education, inside my own courses and, where I can, more broadly.
I build interactive visualizations for teaching, redesign courses from the ground up, and occasionally formalize mathematics in the Lean theorem prover.
An app for navigating the prerequisite graph of Applied Math & Statistics courses at JHU.
A growing collection of interactive visualizations for teaching and learning mathematics.
Something else of mine, drawn fresh on every visit.
Contributions to mathlib, the Lean theorem prover's mathematics library.
George R.R. Martin split writers into architects and gardeners. The same split applies to course planning, and I am firmly a gardener.