Teaching
Undergraduate
- Principles of Programming Languages I (CS 2400) : Oct-Dec 2016, Oct-Dec 2017
- Principles of Programming Languages II (CS 2433) : Jan-Apr 2017, Jan-Apr 2018
- Software Engineering (CS 4010) : Jan-Apr 2016 (at IIT Guwahati as CS 242 and CS 243), Jan-Apr 2017
Postgraduate
- Constraint Solving (CS 6400, CS6403) : Aug-Sep 2016, Aug-Oct 2017
- Software Verification (CS 6410) : Jan-Apr 2017, Jan-Apr 2018
Mentoring
- Gautam Muduganti - PhD Candidate - (Jan 2017--Present)
- Uttaran Sinha - MTech - (July 2017--Present)
- Eti Chaudhary - MTech RA - (July 2017--Present)
- Arpit Aggarwal - MTech (IIT Delhi, co-advised with Dr. Subodh Sharma) - GoProver: a bounded model-checker for GO
- Rasika Sapate - MTech - LLVM2GOTO: A translator from LLVM IR to CPROVER IR - (July 2016--July 2018) - now at Mentor Graphics
- Sukrut Rao - BTech - Research Internship
- Prateek Kumar - BTech - Research Internship
- Nidhi Dhamnani - BTech - Research Internship - Optimizing SAT Solver for push/pop queries - (July 2017--Nov 2017)
- B Shreya - BTech - Research Internship - Optimizing SAT Solver for push/pop queries -(July 2017--Nov2017)
Last Modified at : Mon Aug 13 10:09:32 IST 2018
