- 2016 Mathematical Logic
- 2016 Automated reasoning and program verification
- 2015 Mathematical Logic
- 2015 Verification: Theory and Practice

- 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