Indranil Saha

Associate Professor

P. K. Kelkar 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)



[ 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

[January 2021] I am in the program committee of ATVA 2021.
[December 2020] I am in the program committee of EMSOFT 2021.
[August 2020] I am in the program committee of AAAI 2021.
[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.
all news