conf.researchr.org / Roman Manevich
![Roman Manevich](https://conf.researchr.org/getProfileImage/romanmanevich/a89ec23f-ccbf-43a1-88bb-d491b6518cf0/small.jpg?1711611883000)
Registered user since Sun 22 Feb 2015
Name:Roman Manevich
Country:Israel
Affiliation:Mellanox Technologies
Personal website: https://sites.google.com/view/roman-manevich/
Research interests:Verification, Abstract Interpretation, Synthesis, Concurrency
Contributions