Igor Konnov - POPL 2017 (original) (raw)

Name:Igor Konnov

Country:Austria

Affiliation:TU Wien

Personal website: http://forsyte.at/people/konnov

Research interests:Verification, Model Checking, Distributed Algorithms