Saurabh Srivastava

Graduation Year: 
2010
Dissertation: 
Satisfiability-Based Program Reasoning and Synthesis
Advisor: