Dominique Unruh -

Registered user since Mon 5 Nov 2018

Name: Dominique Unruh

Affiliation: University of Tartu

Contributions

PLanQC 2020	Session Chair of Formal Methods (part of PLanQC) Committee Member in Program Committee within the PLanQC-track
POPL 2019	Author of Quantum Relational Hoare Logic within the Research Papers-track