Jan 1, 2020 : Dr Kartik Nagar joined the department as an assistant professor.
Dr Kartik Nagar has joined the department as an assistant professor. His research interests are in the areas of Automated Formal Verification, Program Analysis and Programming Languages. Prior to this, he was a postdoctoral research associate at Purdue University. He earned his PhD from the Indian Institute of Science, Bangalore.
