conf.researchr.org / Vaibhav Sharma
Registered user since Mon 12 Jun 2017
I am part of the Automated Reasoning community at Amazon. If you like working on applications of automated reasoning, please talk with me.
Research interests:Symbolic Execution, Program Analysis