POPL 2017
Sun 15 - Sat 21 January 2017
Roman Manevich

Registered user since Sun 22 Feb 2015

Name: Roman Manevich

Country: Israel

Affiliation: Ben-Gurion University of the Negev

Personal website: http://www.cs.bgu.ac.il/~romanm/

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

POPL 2017 Activities

POPL 2017-profile
View general profile