Indranil Saha

Associate Professor


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)



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


I am looking for motivated postdoctoral researchers and PhD students to work on exciting projects in the areas of AI, formal methods, cyber-physical systems and robotics.


News

[July 2020] I am in the program committee of HSCC 2021.
[July 2020] A paper on automated debugging of CPS models accepted in EMSOFT 2020.
[February 2020] I am a program co-chair for MEMOCODE 2020.
[January 2020] A paper on graph-based scalable motion planning for temporal logic specification accepted in ICRA 2020.
[January 2020] I am in the program committee of ATVA 2020.
[December 2019] I am in the program committee of EMSOFT 2020.
[August 2019] I am in the program committee of HSCC 2020.
[Jun 2019] A paper on deep neural network based contro of quadcopters has been accepted in IROS 2019.
[Jun 2019] M.Tech students Dhaval and Manan have graduated. Congratulations!!
[May 2019] I am in the program committee of ICCPS 2020.
[January 2019] A paper on energy-aware motion planning for mobile robots accepted in ICRA 2019.
all news