Kumar Madhukar

I am an Assistant Professor in the Department of Computer Science and Engineering at IIT Delhi. Before joining IIT Delhi, I worked as a Scientist at TCS Research, Pune, for about 11 years.

I completed my Ph.D. from the Chennai Mathematical Institute (CMI) in 2018. Prior to that, I had done a Bachelors in Mathematics (Hons.), and a Masters in Computer Science, also from CMI.

My research interests broadly lie in Software Verification, Synthesis, Model Checking and Deep Learning.