Teaching
At IIT Kanpur:
Designed
and taught the following post-graduate (PG) electives and undergraduate (UG)
compulsory courses:
Logic and Cognitive Science
(PG-CgS651A)
Modal Logic (PG-MTH701A)
Set Theories and Logics (PG-MTH677)
Proof Theory & Automated Deduction (PG-MTH609)
Model Theory (PG-MTH608)
Set Theory and Mathematical Logic (UG-MTH302A)
Mathematical Logic (UG-MTH302A-old)
Theory of Computation (UG-MTH401A)
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