News [2026-06-23 Tue] Verification of quantum computations: Hardware-efficient security proofs (HDR Defense) [2026-05-18 Mon] Verification of Quantum Computations without Trusted Preparations or Measurements [2026-03-11 Wed] Spring 2026 HQI Synergy Day [2026-02-01 Sun] Postdoctoral Position: Quantum Cryptography and Verification of Quantum Computation [2025-11-02 Sun] Comment on Google's "Verifiable Advantage"