- 2022 CS766: Analysis of Concurrent Programs
- 2022 CS228: Logic for Computer Science
- 2021 CS433: Automated Reasoning
- 2021 CS766: Analysis of Concurrent Programs
- 2021 CS228: Logic for Computer Science
- 2020 CS433: Automated Reasoning
- 2020 CS766: Analysis of Concurrent Programs
- 2020 CS228: Logic for Computer Science
- 2019 CS615: Formal Specification and Verification of Programs
- 2019 SAT solving@IIT Mandi
- 2019 CS738: Concepts, Algorithms and Tools for Model-Checking
- 2019 CS310: Automata Theory
- 2018 CS433: Automated Reasoning
- 2016 Mathematical Logic (TIFR), 2015
- 2016 Automated Reasoning and Program Verification (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