EE Student Information

The Department of Electrical Engineering supports Black Lives Matter. Read more.

• • • • •

EE Student Information, Spring Quarter through Academic Year 2020-2021: FAQs and Updated EE Course List.

Updates will be posted on this page, as well as emailed to the EE student mail list.

Please see Stanford University Health Alerts for course and travel updates.

As always, use your best judgement and consider your own and others' well-being at all times.

Special Q-FARM Seminar presents Classical Verification of Quantum Computations

Classical Verification of Quantum Computations
Tuesday, January 22, 2019 - 9:00am
Allen 101X
Urmila Mahadev (University of California, Berkeley)
Abstract / Description: 

How can quantum computers be classically tested? This challenging question is interesting as a novel question about interactive proofs, as a practical question about the testing of near-term quantum devices, and as a philosophical question about the testing of quantum mechanics in the limit of high complexity. In this talk, I will show that classical cryptography provides an elegant solution to this question: I will show that it is possible to classically verify quantum computations through interaction by relying on the assumption that quantum machines cannot break the cryptographic problem of learning with errors. This is achieved by constructing a commitment protocol in which a classical string serves as a commitment to an exponentially complex quantum state.


Urmila Mahadev graduated in May 2018 with a Ph.D. in computer science from the University of California, Berkeley and continued as a postdoc. She is interested in quantum computation, complexity theory and cryptography.