Write a Blog >>
Roman Manevich

Registered user since Sun 22 Feb 2015

Name:Roman Manevich
Country:Israel
Affiliation:Mellanox Technologies
Research interests:Verification, Abstract Interpretation, Synthesis, Concurrency

Contributions

Show activities from other conferences

POPL 2020-profile
View general profile