SPLASH 2012 (series) / Roman Manevich
![Roman Manevich](https://2012.splashcon.org/getProfileImage/romanmanevich/22508748-bf71-4324-878b-f04bb9cac4c5/small.jpg?1711611883000)
Registered user since Sun 22 Feb 2015
Name:Roman Manevich
Country:Israel
Affiliation:Ben-Gurion University of the Negev
Personal website: http://www.cs.bgu.ac.il/~romanm/
Research interests:Software Verification, Abstract Interpretation, Synthesis, Concurrency
Contributions
SPLASH 2012-profile
View general profile
View general profile