Andrea W. Coladangelo
I am a postdoc at UC Berkeley and a Quantum Postdoctoral Fellow at the Simons Institute, advised by Umesh Vazirani.
Previously, I was a Research Fellow at the Simons Institute for the semester "the Quantum Wave in Computing". I received my PhD from Caltech in 2020, under the wonderful supervision of Thomas Vidick. Before that, I received a B.A. in Mathematics from the University of Oxford and a Master in Mathematics from the University of Cambridge.
I am broadly interested in quantum computation. Recently, I have been most excited
about understanding the interplay between quantum computation and cryptography.
Previously, I have studied foundational questions about entanglement and quantum correlations, inspired by the question of certifying quantum devices.
Since August 2020, I am an editor for the journal Quantum.
I am a co-founder of qBraid, a cloud-based platform for learning quantum computing
and developing quantum algorithms.
Contact Information
andrea (dot) coladangelo (at) gmail (dot) com
Publications and preprints
(See my Google Scholar page for a more reliably up-to-date list)
- Deniable Encryption in a Quantum World [arXiv]
- Hidden Cosets and Applications to Unclonable Cryptography [arXiv]
- One-way Functions Imply Secure Computation in a Quantum World [arXiv]
- On the Round Complexity of Secure Quantum Computation [arXiv]
- Device-independent quantum key distribution from computational assumptions [arXiv]
- Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [arXiv]
- A quantum money solution to the blockchain scalabilty problem [arXiv]
- Non-interactive zero-knowledge arguments for QMA, with preprocessing [arXiv]
- Additive entanglement measures cannot be more than asymptotically continuous [arXiv]
- A two-player dimension witness based on embezzlement, and an elementary proof of the non-closure
- Smart-contracts meet quantum cryptography [arXiv]
- Unconditional separation of finite and infinite-dimensional quantum correlations [arXiv]
- Generalization of the Clauser-Horne-Shimony-Holt inequality self-testing maximally entangled states of any local dimension [arXiv]
- Robust self-testing for linear constraint system games [arXiv]
- Verifier-on-a-leash: new schemes for verifiable delegated quantum computation, with quasilinear resources [arXiv]
- Separation of finite and infinite-dimensional quantum correlations, with infinite question or answer sets [arXiv]
- Self-testing multipartite entangled state through projections onto two systems [arXiv]
- All pure bipartite entangled states can be self-tested [arXiv]
- Parallel self-testing of (tilted) EPR pairs via copies of (tilted) CHSH and the magic square game [arXiv]
Talks
- Deniable encryption in a quantum world -- UC Santa Barbara Theory Seminar, December 2021
- One-way functions imply secure computation in a quantum world -- Quantum Wave in Computing Reunion, Simons Institute, July 2021 (video)
- Non-interactive zero-knowledge arguments for QMA, with preprocessing -- Quantum Information Seminar, Perimeter Institute, September 2020
- Non-interactive zero-knowledge arguments for QMA, with preprocessing -- Workshop on Quantum Information, Computation, and Foundation, Yukawa Institute for Theoretical Physics, Kyoto University, September 2020 (video)
- A quantum money solution to the blockchain scalability problem -- QCrypt 2020, August 2020 (video)
- Self-testing as an approach to certifying quantum systems -- Workshop on Quantum Protocols: Testing & Quantum PCPs, Simons Institute, March 2020 (video)
- Non-interactive zero-knowledge arguments for QMA, with preprocessing -- Quantum Seminar, Simons Institute, March 2020
- A two-player dimension witness based on embezzlement -- QuICS, University of Maryland, October 2019 (video)
- A two-player dimension witness based on embezzlement -- IQC Waterloo, June 2019
- A two-player dimension witness based on embezzlement -- UC Berkeley quantum lunch, May 2019
- Unconditional separation of finite and infinite-dimensional quantum correlations -- Caltech IQIM Seminar, January 2019
- Unconditional separation of finite and infinite-dimensional quantum correlations -- QIP 2019 (plenary), University of Colorado, Boulder, January 2019 (video)
- Unconditional separation of finite and infinite-dimensional quantum correlations -- Quantum Innovators Workshop, IQC Waterloo, October 2018
- All pure bipartite entangled states can be self-tested -- QIP 2018, Delft, January 2018 (video)
- Verifier-on-a-leash: New schemes for two-prover verifiable delegated quantum computation -- QIP 2018, Delft, January 2018 (video)
- Verifier-on-a-leash: New schemes for two-prover verifiable delegated quantum computation -- ICFO Seminar, July 2017
- Verifier-on-a-leash: New schemes for two-prover verifiable delegated quantum computation -- ETH Zurich, July 2017
- All pure bipartite entangled states can be self-tested -- TQC 2017, Paris, June 2017
- Parallel self-testing of (tilted) EPR pairs via copies of (tilted) CHSH -- QIP 2017, Seattle, January 2017 (video)
Teaching
I was a teaching assistant for the following courses at Caltech:
- (Fall 2018) CS152a: Introduction to Cryptography
- (Fall 2016) CS/Ph120: Quantum Cryptography (also offered as an EdX course)
Other teaching:
- I am an author of a quantum computing course for high school students, based on recorded video lectures, and programming exercises.
- (2018-2019) Muir High School, Pasadena: I tutored high school students in Math and Science as part of an outreach initiative of the Caltech Y Rise Program
- (2012-13) St. Andrew’s Primary School, Headington, Oxford: I ran the weekly chess club for students aged 6 to 10.
Professional Service
Editor: Quantum (August 2020-present)
Program Committees: QIP 2020, QCrypt 2021, QIP 2022.
Music