Dominique Unruh

Professor, University of Tartu

Dominique Unruh is currently at the University of Tartu (since 2011), and their research interests are quantum cryptography, quantum program logics, formal verification. They did their PhD at the University of Karlsruhe (2006) and worked at Saarland University till 2011.

Program Visits

Summer Cluster on Quantum Computing, Summer 2023, Visiting Scientist
Website Opens new tab
Fields
quantum cryptography, quantum program logics, formal verification