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 PhD students to work on exciting projects in the areas of AI, formal methods, cyber-physical systems, and robotics.


[August 2023] I am in the program committee of AAAI 2024.
[July 2023] A paper on Counter-Example Guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications, written in collaboration with Verimag, France has been accepted in CDC 2023.
[July 2023] A paper on Approximation Algorithms for Charging Station Placement for Mobile Robots has been accepted in IROS 2023.
[January 2023] A paper on safe self-triggerred control has been accepted in HSCC 2023.
[November 2022] A paper on STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning has been accepted in AAAI 2023.
all news