Lecture notes

Cours FSMP Interactive Proofs with Quantum Devices

These are lecture notes for a 10-week course given in Paris in Fall 2020. The notes are on the topic of “black-box testing” of quantum devics and provide a unified treatment of the single-device setting (Mahadev protocol for delegated computation) and the two-device setting (complexity of quantum multiprover interactive proofs, a.k.a. nonlocal games).

UCSD Spring School on Quantum Computation

CS/CMS 139, Advanced Algorithms

CS/Ph 120, Quantum Cryptography

CS286, Around the quantum PCP Conjecture