Registered user since Thu 14 Aug 2025
Name:Saumya Shankar
Country:India
Affiliation:International Institute of Information Technology Bangalore
Personal website: https://www.iiitb.ac.in/faculty/saumya-shankar
Research interests:Formal Methods, Runtime Verification and Enforcement
Contributions
Using general profile