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)

News/Announcements

  • Jan 1, 2020 : Dr Kartik Nagar joined the department as an assistant professor. (read more)
(View All)