![Subodh Sharma](https://icst2021.icmc.usp.br/getProfileImage/subodhsharma/2e013b8c-8a72-4d4f-80c5-a0c4867c54e4/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
ICST 2021-profile
View general profile
View general profile