Registered user since Thu 9 Sep 2021
Name:Indranil Saha
Country:India
Affiliation:IIT Kanpur
Personal website: https://www.cse.iitk.ac.in/users/isaha/
GitHub: https://github.com/iitkcpslab
Research interests:Artificial Intelligence, Formal Methods, Embedded Systems, Cyber-Physical Systems, Robotics
Contributions
PLDI 2023-profile
View general profile
View general profile