Indranil Saha

Registered user since Thu 9 Sep 2021

Name:Indranil Saha
Country:India
Affiliation:IIT Kanpur
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