Apurva Nakade

Apurva Nakade is a Senior Lecturer in the Department of Applied Mathematics and Statistics at Johns Hopkins University (JHU). He focuses on improving math education through course redesign, data-driven approaches, and open-source educational resources. His research interests include algebraic topology, type theory, and mathematical formalization using the Lean Theorem Prover. He collaborates with Dr. Ben Grimmer to connect undergraduate students with research mentors. Nakade holds a PhD in Mathematics from JHU, an MSc from the Chennai Mathematical Institute, and a BTech in Computer Science from IIT Kanpur. He is an MAA Project NExT Fellow and has served as a mentor at the Canada/USA Mathcamp.

• Education:
• PhD in Mathematics, Johns Hopkins University
• MSc in Mathematics, Chennai Mathematical Institute
• BTech in Computer Science & Engineering, IIT Kanpur
• Awards: MAA Project NExT Fellowship
• Professional Roles: Former postdoc at Northwestern University and University of Western Ontario

Nakade actively contributes to expanding the math library for the Lean Theorem Prover, a collaborative open-source project aimed at advancing mathematical automation and education tools. His teaching portfolio includes courses like Discrete Math, Monte Carlo Methods, and Honors Algebra II.