![Roman Manevich](https://popl20.sigplan.org/getProfileImage/romanmanevich/45e3218b-0dcb-4c65-866a-423d8f0661ef/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
POPL 2020-profile
View general profile
View general profile