About Me

I am currently a postdoc at the University of Edinburgh.

Interests
  • Quantum Information
  • Cryptography
Education

  • PhD in Mathematics

    Sorbonne Université, Paris, France

Recent Publications
Maxime Garnier, Dominik Leichtle, Luka Music, Harold Ollivier (2025). Composably Secure Delegated Quantum Computation with Weak Coherent Pulses. arXiv preprint arXiv:2503.08559.
Cite URL
Maxime Garnier, Dominik Leichtle, Luka Music, Harold Ollivier (2024). Composably Secure Delegated Quantum Computation with Weak Coherent Pulses. 2024 International Conference on Quantum Communications, Networking, and Computing (QCNC).
Cite URL
Carlo Delle Donne, Mariagrazia Iuliano, Bart Van Der Vecht, Guilherme Maciel Ferreira, Hana Jirovská, Thom Van Der Steenhoven, Axel Dahlberg, Matt Skrzypczyk, Dario Fioretto, Markus Teller, Pavel Filippov, Alejandro Rodríguez-Pardo Montblanch, Julius Fischer, Benjamin Van Ommen, Nicolas Demetriou, Dominik Leichtle, Luka Music, Harold Ollivier, Ingmar Te Raa, Wojciech Kozlowski, Tim Taminiau, Przemysław Pawełczak, Tracy Northup, Ronald Hanson, Stephanie Wehner (2024). Design and demonstration of an operating system for executing applications on quantum network nodes. arXiv preprint arXiv:2407.18306.
Cite URL
Beatrice Polacchi, Dominik Leichtle, Gonzalo Carvacho, Giorgio Milani, Nicolò Spagnolo, Marc Kaplan, Elham Kashefi, Fabio Sciarrino (2024). Experimental verifiable multi-client blind quantum computing on a Qline architecture. arXiv preprint arXiv:2407.09310.
Cite URL
Johannes Frank, Elham Kashefi, Dominik Leichtle, Michael De Oliveira (2024). Heuristic-free Verification-inspired Quantum Benchmarking. arXiv preprint arXiv:2404.10739.
Cite URL
See all publications