* 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 * Committee Member in DS Program committee within the DS - Doctoral Symposium -track
Committee Member in Program committee within the Technical Papers -track
Show activities from other conferences

* ICSE 2018 *-profile
View general profile