![Vaibhav Sharma](https://conf.researchr.org/getProfileImage/vaibhavsharma/02ccd986-18b5-41df-8bd1-770794c5637a/small.jpg?1718481960000)
Registered user since Mon 12 Jun 2017
Name:Vaibhav Sharma
Bio:
I am part of the Automated Reasoning community at Amazon. If you like working on applications of automated reasoning, please email me at svaib@amazon.com
Country:United States
Affiliation:Amazon
Personal website: https://sites.google.com/view/vaibhavbsharma/home
X (Twitter): https://x.com/vbsharma
Research interests:Symbolic Execution, Program Analysis
Contributions
ICST 2024-profile
View general profile
View general profile