Overview of Verification of Quantum Computation

Sep 20, 2017
More details here

Elham Kashefi, along with Alexandru Gheorghiu and Theodoros Kapourniotis, give an overview of Verification of Quantum Computation.