Teaching
At IIT Kanpur:
Designed and taught the following post-graduate (PG) electives and undergraduate (UG) compulsory courses (for course structure of our Programme and syllabi, cf. "Courses" at http://www.iitk.ac.in/math/):
Modal Logic (PG-MTH701)
Set Theories and Logics (PG-MTH677)
Proof Theory & Automated Deduction (PG-MTH609)
Model Theory (PG-MTH608)
Mathematical Logic (UG-MTH302)
Theory of Computation (UG-MTH401)
Introduction to Profession (UG-MTH100) (designed jointly)
Also taught core UG course on Calculus (MTH101)
At ILC China:
Designed and taught a summer course on Rough Set Theory