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

[July 2022] Amit Dhyani has defended his MS thesis successfully. Congratulations Amit!!
[July 2022] A paper on an MILP encoding for efficient verification of quantized deep neural networks has been accepted in EMSOFT 2022.
[July 2022] A paper on multi-robot path planning for temporal logic specifications has been accepted in IROS 2022.
[July 2022] A paper on temporal logic path planning under localization uncertainty has been accepted in IROS 2022.
[July 2022] A paper on scalable online coverage path planning for multi-robot systems has been accepted in IROS 2022.
[February 2022] A paper on a heuristic-based scalable goal assignment algorithm for multi-robot systems has been accepted in ICAPS 2022.
[January 2022] I am in the program committee of RV 2022.
[January 2022] I am in the program committee of EMSOFT 2022.
[January 2022] A paper on minimizing multi-directional linearization error in reachability analysis using intersection of unions has been accepted in HSCC 2022.
[October 2021] I am in the program committee of ESEC/FSE 2022.
all news