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. Compressed Oracles. 2025. Archive of Formal Proofs. Formal Isabelle proof development
- Dominique Unruh, José Manuel Rodríguez Caballero. Complex Bounded Operators in Isabelle/HOL. 2025
- 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]
- 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
Teaching
See the teaching page of the chair.