conf.researchr.org / Venkatesh Srinivasan
![Venkatesh Srinivasan](https://conf.researchr.org/getProfileImage/venkateshsrinivasan/f215281b-03ab-4ec8-bf62-81430b85da94/small.jpg?1713474046000)
Registered user since Thu 26 Feb 2015
Name:Venkatesh Srinivasan
Country:India
Affiliation:University of Wisconsin - Madison
Personal website: http://cs.wisc.edu/~venk/
Research interests:Program Analysis, Program Synthesis
Contributions