Goldwasser defines a Probabilistically Checkable Proof

Shafi Goldwasser, winner of the Association for Computing Machinery's A.M. Turing Award, defines the concept of a Probabilistically Checkable Proof and explains how she devised it. This clip is taken from an interview conducted with Goldwaser by Alon Rosen for the ACM on August 12, 2016 in Rehovat, Israel. Video of the full interview is available as part of Goldwasser’s ACM profile at amturing.acm.o....