![Subodh Sharma](https://conf.researchr.org/getProfileImage/subodhsharma/fd4e07cc-8466-455b-ad82-3d85138da23f/small.jpg?1711571274000)
Registered user since Fri 15 May 2020
Name:Subodh Sharma
Country:India
Affiliation:IIT Delhi
Personal website: https://subodhvsharma.github.io
Research interests:Model Checking, Program Analysis, Security
Contributions
Using general profile
Registered user since Fri 15 May 2020
Contributions