Dominique Unruh -

Registered user since Mon 5 Nov 2018

Name:Dominique Unruh

Affiliation:University of Tartu

Contributions

CPP 2022	Author of Reflection, Rewinding, and Coin-Toss in EasyCrypt within the CPP 2022-track
PLanQC 2021	Author of Quantum and classical registers within the PLanQC 2021-track Committee Member in Program Committee within the PLanQC 2021-track
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