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.

© 2016 - All Rights Reserved - Dept of CSE, IIT Madras
Website Credits