Dominique Unruh is the head of the Chair for Quantum Information Systems. They are also professor for cryptography at the Institute of Computer Science at the University of Tartu.
Contact
See here.
Research
Their research focus covers various areas related to quantum computing, especially:
- Quantum programs / semantics / logics
- Quantum and post-quantum cryptography
- Formal verification
Publications
Most recent publications:
- Dominique Unruh. Developing a Quantum Crypto Theorem Prover from Scratch. 2026. ITP 2026, 17th International Conference on Interactive Theorem Proving. LIPIcs. Pages 2:1-2:18. Volume 382. Schloss Dagstuhl – Leibniz-Zentrum für Informatik. Invited talk
- Dominique Unruh, José Manuel Rodríguez Caballero. Complex Bounded Operators in Isabelle/HOL. 2026. ITP 2026, 17th International Conference on Interactive Theorem Proving. LIPIcs. Pages 3:1-3:19. Volume 382. Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- Dominique Unruh, Benoît Valiron, Mingsheng Ying. Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control: a unified assertion logic for verifying both classical and quantum programs. 2026. Transactions on Computational Logic. ACM
- Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen. Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis. 2026
- Dominique Unruh. Compressed Oracles. 2025. Archive of Formal Proofs. Formal Isabelle proof development
- Toby Murray, Dominique Unruh (eds.). 2025 IEEE 38th Computer Security Foundations Symposium (CSF). 2025. Proceedings.
- Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen. Bayesian Inference in Quantum Programs. 2025. ICALP 2025. LIPIcs. Pages 157:1-157:18. Volume 334
- Katharina Kreuzer, Dominique Unruh. The Oneway to Hiding Theorem. 2025. Archive of Formal Proofs. Formal Isabelle proof development
- Dominique Unruh. Kraus Maps. 2025. Archive of Formal Proofs. Formal Isabelle proof development
- Katharina Heidler, Dominique Unruh. Formalizing the One-Way to Hiding Theorem. 2025. CPP 2025. Pages 243-256. ACM. [Video]
Teaching
See the teaching page of the chair.