Bernhard Kragl

Registered user since Wed 6 Dec 2017

Name: Bernhard Kragl

Country: Austria

Affiliation: IST Austria

Personal website: http://pub.ist.ac.at/~bkragl/

Contributions

POPL 2018Presenter of Synchronous Proofs for Asynchronous Programs within the Student Research Competition-track