
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/
Research interests:Artificial Intelligence, Formal Methods, Embedded Systems, Cyber-Physical Systems, Robotics
Contributions
PLDI 2023 | Committee Member in SRC Reviewers within the SRC-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile