![]() |
Kartik Nagar
![]() Assistant Professor Email : nagark [at] cse [dot] iitm [dot] ac [dot] in Link to Personal Homepage |
Feb 2021 - May 2021 | : | - Languages, Machines and Computation (CS2200) |
Feb 2021 - May 2021 | : | - Recent Topics in Compilers (CS7030) |
Aug 2020 - Dec 2020 | : | - Automated Program Verification (CS5030) |
Program | Name | Roll No. | Joining Date | Funding |
MS | Phule Tushar Jaywant | CS20S011 | Sep 2020 |