Blogs (1) >>
ICSE 2018
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Arie Gurfinkel

Registered user since Sat 16 Jan 2016

Name: Arie Gurfinkel

Country: Canada

Affiliation: University of Waterloo

Personal website: http://arieg.bitbucket.org/

Research interests: model checking, static analysis, verification, formal methods, logic, smt, decision procedures, sat

ICSE 2018 Activities

ICSE 2018-profile
View general profile