Teaching
Current teaching
- Spring 2026: Math 5300 - Applied Math I - Current students: sign in on Canvas.
Textbook
Analysis: Foundations and Selected Topics - Draft with Andreas Seeger.
Past teaching
At UMass Lowell
- Fall 2025: Math 2310 - Calculus III
- Spring 2025: Math 5300 - Applied Math I
- Spring 2025: Math 4900 - Selected Topics: Formalized Mathematics in Lean
- Spring 2024: Math 2340 - Differential Equations
- Fall 2023: Math 5300 - Applied Math I
- Spring 2023: Math 4480/5480 - Mathematics of Signal Processing
- Fall 2022: Math 5300 - Applied Math I
- Spring 2021: Math 2340 - Differential Equations
- Fall 2020: Math 5300 - Applied Math I
At University of Wisconsin-Madison
- Spring 2020: Math 629 - Introduction to Measure and Integration
- Fall 2019: CompSci/Math 514 - Numerical Analysis
- Fall 2019: Math 522 - Analysis II
- Spring 2019: Math 629 - Introduction to Measure and Integration
- Fall 2018: Math 522 - Analysis II
- Fall 2018: Math 921 - Graduate Seminar in Analysis
- Fall 2018: Reading Seminar on Vapnik-Chervonenkis dimension and the independence property
- Summer 2018: Student workshop on Automated Theorem Proving and Artificial Intelligence (Leysin, Switzerland)
- Spring 2018: Math 421 - Theory of Single Variable Calculus
- Spring 2018: Math 522 - Analysis II
- Fall 2017: Math 522 - Analysis II