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