Present and past courses
By Ashutosh Gupta
Courses I may teach
- Software Verification (the core of my research!)
- Automated Reasoning (my favorite)
- Programming Languages (for the hacker inside me)
- Mathematical Logic (my responsibility)
The top three courses have the following prerequisite courses.
- Mathematical logic
- Automata theory
Last modified: Thu Aug 10 15:16:46 IST 2017