Indranil Saha Assistant Professor Mrs. Paramjit Kaur Faculty Fellow Dept. of Computer Science and Engineering RM 408 (Rajeev Motwani Building) Indian Institute of Technology, Kanpur Uttar Pradesh 208016, India Email: isaha[at]cse[dot]iitk[dot]ac[dot]in Tel No: +91 512 259 6343 (Office) Fax No: +91 512 679 7586 (Office)

News [October 2018] Organizing a special session on Embedded Software for Robotics at ESWeek 2018. [July 2018] My first batch of M.Tech students Danish and Ravi have graduated. Congratulations!! [January 2018] A paper on charging station placement for robotic applications accepted in ICRA 2018. [December 2017] I am in the program committee of EMSOFT 2018. [December 2017] A paper on receding horizon multi-robot coverage planning accepted in ICCPS 2018. [July 2017] Received Microsoft Azure Research Award Grant. [July 2017] I am in the program committee of HSCC 2018. all news

I am an Assistant Professor in the Department of Computer Science and Engineering at Indian Institute of Technology, Kanpur. Prior to joining IIT Kanpur, I was a Postdoctoral Researcher affiliated with ExCAPE project led by Prof. Rajeev Alur and TerraSwarm project led by Prof. Edward A. Lee. My postdoctoral mentors were Prof. Sanjit Seshia at UC Berkeley and Prof. George Pappas at University of Pennsylvania. I spent the time between July 2013 and June 2014 at UC Berkeley and the time between July 2014 and June 2015 at UPenn. I did my Ph.D. at UCLA under the supervision of Prof. Rupak Majumdar.