Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dominique Unruh
conf.researchr.org general profile
PLDI 2021 profile
POPL 2019 profile
POPL 2020 profile
POPL 2022 profile
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
Share
x
Sun 22 May 22:31