Teaching

1. Proofs lab with Lean (jointly with Prof. Siddhartha Gadgil)

The goal of this course is to help students learn to write rigorous mathematical proofs, utilizing the Lean Prover as a foundational tool. 

Teaching Assistance

Autumn 2025

1. Analysis and Linear Algebra - I 

2. Probability and Statistics 

Winter 2025

1. Introduction to Lie Algebras (NPTEL)  

2. Introduction to Group Theory (NPTEL)  

Autumn 2024

1. Representation Theory of General Linear Lie Algebra

Winter 2024 

1. Introduction to Lie Algebras (NPTEL)  

2. Introduction to Group Theory (NPTEL)