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)


[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.
[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.
all news

[ bio | awards | research | teaching | professional activities | travel | cv ]

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.

Public Profiles

Dblp   Google Scholar   LinkedIn