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.


[November 2022] A paper on STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning has been accepted in AAAI 2023.
[September 2022] My first PhD student Tanmoy Kundu has defended his thesis successfully. Congratulations Tanmoy!!
[August 2022] I am in the program committee of ICCPS 2023.
[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.
all news