Verification of Quantum Technology: From Theory to Practice.
Elham Kashefi, University of Edinburgh

The quantum technology has an acute verification and validation problem: On one hand since classical computations cannot scale up to the computational power of quantum mechanics, verifying the correctness of a quantum-mediated computation is challenging, on the other hand the underlying quantum structure resists classical certification analysis. The central objective of the lecture series is to present recent advances in this field.

Lecture I: Universal Blind Quantum Computing.

Lecture II: Verifiable Blind Quantum Computing

Lecture III: Price of Trust