Teaching

I have taught several courses at both Rutgers and Penn State, like Trigonometry, Calculus, History of Mathematics, Probability and Statistics, Dynamical Models in Biology, etc. I elaborate on two such courses below, both of which I am teaching this semester.

AI and Mathematics

In Fall 2025, I am teaching a Graduate course on AI methods in research mathematics. This course has two separate, relatively disjoint components. In the first component, we go over the basics of machine learning, heavily based on these notes from MIT OCW.

In the second part of the course, we study how to modify existing AI technologies like Funsearch and Alphageometry to be able to solve problems in other fields of Mathematics. This is primarily done through student projects, with weekly meetings and guidance.

Intro to proofs using Lean

I am also teaching an Intro to Proofs course based on Lean. This is one of the first such courses offered in the country, and I had to design several components of the course myself, that may be useful to other instructors teaching this course in the future.

We are using Heather Macbeth's textbook in our course. The students are expected to write both rigorous "human" proofs, as well as Lean proofs for every question that we attempt. We are systematically working through the entire textbook, and uploading solutions to all questions on GitHub. This comprehensive approach to Lean has been very rewarding, and most of the students in my class can now write proofs for non-trivial lemmas all by themselves, using intricate sequences of tactics and lemmas from MathLib4.