![]() |
Indranil SahaAssociate ProfessorP. K. Kelkar Faculty FellowDepartment of Computer Science and EngineeringRM 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) |
[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. |