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:
- 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]
- José Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh. Leakage-Free Probabilistic Jasmin Programs. 2025. CPP 2025. Pages 3-16
- Dominique Unruh. The Tensor Product on Hilbert Spaces. 2024. Archive of Formal Proofs. Formal Isabelle proof development
- Dominique Unruh. Without Loss of Generality. 2024. Archive of Formal Proofs. Formal Isabelle proof development
- Dominique Unruh. With-Type – Poor man’s dependent types. 2024. Archive of Formal Proofs. Formal Isabelle proof development
- Dominique Unruh. Quantum references. 2024
- Denis Firsov, Dominique Unruh. Zero-Knowledge in EasyCrypt. 2023. CSF 2023. To appear
Teaching
See the teaching page of the chair.