Indranil Saha Assistant Professor Mrs. Paramjit Kaur Faculty Fellow Department 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 [July 2017] Received Microsoft Azure Research Award Grant. [July 2017] I am in the program committee of HSCC 2018. [July 2017] Delivered a talk on multi-robot task and motion planning at CyPhySS2017 in IISc, Bangalore. [July 2017] A paper on satisfiability modulo convex programming based multi-robot motion planning accepted in CDC 2017. [June 2017] A paper on multi-robot task server accepted in EMSOFT 2017. [April 2017] I am part of MHRD IMPRINT Program and Indian Railways funded project FMSAFE. 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.