I’m a Senior Lecturer in the Applied Math & Stats department at Johns Hopkins University.

This year I’m teaching

  • Discrete Math
  • Monte Carlo Methods
  • Intermediate Probability and Statistics
  • Honors Algebra II
  • Mathematical Foundations of AI

When I’m not swamped with work, I like to work on math formalization using the Lean theorem prover