Recent Talks

  • Interactive Proofs for Synthesizing Quantum States and Unitaries: Quantum Wave Reunion Workshop, Simons Institute. [Slides] [Video]

  • Einstein meets Turing: the computability of nonlocal games: Computability in Europe (July 5, 2021) [Slides]

  • How to Compress a Nonlocal Game: STOC Workshop on MIP* = RE (June 24, 2021) [Slides].

  • Products of games: Nonlocal games workshop (May 20, 2021). [Slides] [Video]

  • The role of proofs in MIP* = RE: Quantum Information for Mathematics, Economics, and Statistics Workshop (May 26, 2021). Simons Quantum Colloquium (May 4, 2021). [Talk] [Panel discussion]

  • Low-Degree Testing in the Noncommutative Setting: Global Noncommutative Geometry Seminar (February 12, 2021). [Slides] [Video]

  • Quantum Garbled Circuits: QuSoft Seminar (April 30, 2021), Ben-Gurion University CS Seminar (April 21, 2021), UC Berkeley Crypto Seminar (January 18, 2021), Workshop on Quantum Information, Computation, and Foundations (September 14, 2020). [Slides]

  • How to Compress a Nonlocal Game: TQC Plenary Talk (June 10, 2020) [Slides]

  • A Tale of Turing Machines, Quantum-Entangled Particles, and Operator Algebras: Goldman Sachs R&D Seminar Series (May 27, 2021), USC CS Theory Lunch (April 16, 2021), Canada Quantum Days Keynote (January 14, 2021), Machine Learning in Science and Engineering (December 14, 2020), Richard M. Karp Distinguished Lecture (April 20, 2020), UofT Computer Science Distinguished Lecture Series (April 16, 2020)

  • MIP* = RE: Canadian Operator Symposium (May 25, 2020), Perimeter Institute Seminar (May 13, 2020), U. Ottawa CRM Distinguished Speaker Colloquium (April 24, 2020), UT Austin Math Seminar (April 10, 2020), IAS Seminar (February 3, 2020), Fields Institute Set Theory Seminar (January 24, 2020) [Slides]

  • Multiprover Protocols: Simons Institute Quantum Wave in Computing Bootcamp. [Part I], [Part II]

  • Perfect zero knowledge for quantum multiprover interactive proofs: QIP 2020. [Slides]