Subjects:
As a student of Umesh Vazirani at Berkeley, Mahadev discovered interactive proof systems that could demonstrate with high certainty, to an observer using only classical computation, that a quantum computer has correctly performed a desired quantum-computing task.