Unless you have worked with me on a project for at least a month, please do not ask me to write a letter of recommendation for you. I take writing one such letter very seriously which makes it a time-consuming process.

Courses taught at IIT Kanpur

1. MTH101A Mathematics-I, Odd term 19-20

2. MTH111M Single variable calculus, Odd term 24-25

3. MTH302A Set theory and logic, Odd term 17-18, 18-19, 23-24

4. MTH666A Category theory, Odd term 17-18, Even term 19-20, Logic Webinar 20, Even term 23-24

5. MTH661A Introduction to sheaves and topos theory, Even term 17-18

6. MTH642A Topics in model theory, Odd term 18-19, 21-22

7. MTH678A Techniques in combinatorics, Even term 18-19, Odd term 20-21, Even term 22-23,

8. MTH724A An introduction to algebraic K-theory, Even term 20-21

9. MTH613A Rings and Modules, Even term 21-22

10. MTH202A Set theory and Discrete Mathematics Odd term 22-23

11. ETH111 Introduction to Practical Ethics Even term 22-23 (Feedback), Even term 23-24 (Feedback)

Tutorials at IIT Kanpur

1. MSO201A Probability and Statistics, Even term 18-19

2. MTH102A Linear algebra and Differential equations, Even term 18-19

NPTEL MOOC (Massive Online Open Course)

Set Theory and Mathematical Logic, January-April 24

Category Theory, July-November 24

Other courses

1. Categorical syntax-semantics dualities, ISLA 2022 Part-I, hybrid mode, May 22.

2. Completeness and compactness theorems in propositional and predicate logic, ISLA 2020, virtual mode, Dec. 20. 

3. Measure theory, Annual Foundation School-II, Bhaskaracharya Pratishthana, Pune, June 19.

4. Topology, Annual Foundation School-I, Bhaskaracharya Pratishthana, Pune, Dec. 17, Dec. 18.

5. Model theory, PG level, Indian School on Logic and Applications (ISLA), Vellore VIT, Sept.-Oct. 18

6. Introduction to elliptic curves (with G. Terzo), UG level, Second university of Naples, Caserta, Italy, Fall 15

7. Algebraic K-theory, UG level, Second university of Naples, Caserta, Italy, Spring 15

8. K-theory of model-theoretic structures, Invited short, Leeds university, March 14

9. Category theory and Topos theory, Invited graduate level, Pune University, Summer 11

10. Fundamentals of discrete Fourier transforms for digital image processing, Invited short, Fergusson college and Garware college, Pune, July 11

Tutorials as a TA at University of Manchester

MTH10101, MTH10222, MTH20302, MTH20101, 0B2, 0F2, 0N1, 1E1, 1E2