Kartik Nagar Home Page
Assistant Professor
Email : nagark [at] cse [dot] iitm [dot] ac [dot] in   

Link to Personal Homepage

Research Interests :

Automated Formal Verification, Program Analysis, Programming Languages.

(Recent) Teaching : View All  |  Back to top

Aug 2020 - Dec 2020 : - Automated Program Verification (CS5030)