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: Ben-Gurion University of the Negev

Personal website: https://sites.google.com/view/roman-manevich/

Research interests: Software Verification, Abstract Interpretation, Synthesis, Concurrency

Contributions

SPLASH 2019Committee Member in External Review Committee within the OOPSLA-track
Show activities from other conferences

Using general profile