Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Roman Manevich

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

Using general profile