Matty Hoban @ ICC: Proofs of Quantumness at ECI 39
We are pleased to announce that the upcoming edition of the Escuela de Ciencias Informáticas (ECI 39), organized by the Department of Computer Science at the Universidad de Buenos Aires, will include the course “Proofs of Quantumness” taught by Matty Hoban.
The course will take place during ECI 39, from July 27 to July 31, and will explore one of the central questions in contemporary quantum information science:
How can we certify that a device is genuinely performing quantum computations?
As quantum technologies continue to advance, demonstrating an unquestionable quantum advantage remains a major scientific challenge. The course will discuss how one can obtain a proof of quantumness from quantum devices treated essentially as black boxes, connecting ideas from quantum foundations, computational complexity, interactive proof systems, and modern cryptography.
Topics covered in the course include:
- Basics of quantum computation
- The complexity class BQP
- Interactive proof systems
- Bell nonlocality and entanglement
- Quantum verification protocols
- Proofs of quantumness based on Bell inequalities
- Cryptographic approaches based on one-way functions
The course will also discuss the role of Bell inequality violations — central to the 2022 Nobel Prize in Physics — and modern protocols for certifying quantum behavior using only classical interactions with quantum devices.
The intended audience includes advanced undergraduate students, graduate students, and researchers with interests in quantum information, theoretical computer science, physics, or cryptography. Familiarity with linear algebra and basic computational complexity is recommended.
Further information about the event and the course can be found at: