- 2018 Automated Reasoning
- 2016 Mathematical Logic (TIFR)
- 2016 Automated Reasoning and Program Verification (TIFR)
- 2015 Mathematical Logic (TIFR)
- 2015 Verification: Theory and Practice (TIFR)

- Software Verification (the core of my research!)
- Automated Reasoning (my favorite)
- Programming Languages (for the hacker inside me)
- Mathematical Logic (my responsibility)

- Mathematical logic
- Automata theory

Last modified: Thu Aug 10 15:16:46 IST 2017