Mathematician | Educator | Builder
Associate Dean & Professor of Mathematics
University of Michigan–Dearborn
I work at the intersection of mathematics, computer science, and education. My interests include complex analysis, harmonic analysis, operator theory, algebraic geometry, spectral geometry, reinforcement learning, symbolic computation, and building tools that support mathematical reasoning and learning.
Current Focus
- Several Complex Variables — Spectrum of Kohn Laplacian on CR manifolds
- ML Toolbox — Reusable utilities for reproducible ML experimentation and mathematical foundations of ML
- Lean & Formalization — Integrating proof assistants into undergraduate mathematics
- Programs — REU Site in Mathematical Analysis and Applications, Polymath Jr., C4ME, Math Corps @ Dearborn, and A2PSA
- Apps — 4OPS, an arithmetic reasoning game and a dataset for machine learning research