• Sign in
  • Sign up
conf.researchr.org / Dominique Unruh
  • PLDI 2021 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2022 profile
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

Share
xSun 22 May 22:31
using conf.researchr.org (v1.55.6)
Support page
Sign Up