# News

- In Fall 2016 I will be teaching CS/Ph 120, Quantum Cryptography. This course will give an introduction to the basics of quantum cryptography. It will be co-taught by Stephanie Wehner from QuTech at TU Delft, and also be offered as an EdX course.
- Another survey! I am happy that our survey with John Watrouns on Quantum Proofs has just appeared in Foundations and Trends in Theoretical Computer Science.
- I am grateful to the Air Force Office of Scientific Research for funding my research in quantum cryptography through the Air Force's Young Investigator Research Program, and to the National Science Foundation for awarding me a CAREER award on Interactions with Untrusted Quantum Devices.
- I organize the CMS Theory seminar.
- I help organize TCS+, an online seminar series in theoretical computer science, accessible to the widest possible audience, and ensuring a carbon-free dissemination of ideas across the globe. See our website for more information.

# Research Interests

My research is centered around problems at the interface of theoretical computer science, quantum information and cryptography. I like to use complexity theory as a tool to study problems in quantum computing, and quantum mechanical phenomena as a way to gain a new perspective on classical concepts from theoretical computer science.

# Teaching

- Spring 2016: CS 101, Introduction to modern cryptography.
- Winter 2016: CS/CMS 139, Advanced Algorithms.
- Spring 2015: CS/CMS 139, Advanced Algorithms.
- Fall 2014: CS286, Seminar in Computer Science. Topic: around the Quantum PCP conjecture.

# Recent papers

- Privacy Amplification Against Active Quantum Adversaries
(Abstract)

With Gil Cohen.

Technical report arXiv:1608.06318.

- A simple proof of Renner's exponential de Finetti theorem
(Abstract)

With Henry Yuen.

Technical report arXiv:1608.04814.

- Simple and tight device-independent security proofs
(Abstract)

With Rotem Arnon-Friedman, Renato Renner. Appeared in Qcrypt'16.

Technical report arXiv:1607.01797.

- Quantum Proofs
(Abstract)

With John Watrous. NOW surveys in Foundations and Trends in Computer Science Vol. 11 No. 1-2, pp 1-215 (2016).

Journal link.

- Parallel repetition via fortification analytic view and the quantum case
(Abstract)

With Mohammad Bavarian, Henry Yuen.

Technical report arXiv:1603.05349.

- A Moment Majorization principle for random matrix ensembles with applications to hardness of the noncommutative Grothendieck problem
(Abstract)

With Steven Heilman. Submitted

Technical report arXiv:1603.05620.

- Rigorous RG algorithms and area laws for low energy eigenstates in 1D
(Abstract)

With Itai Arad, Zeph Landau, Umesh Vazirani.

Technical report arXiv:1602.08828.

- A simple proof of the detectability lemma and spectral gap amplification
(Abstract)

With Anurag Anshu, Itai Arad. Phys. Rev. B 93, 205142

Technical report arXiv:1602.01210.

- Constant-Soundness Interactive Proofs for Local Hamiltonians
(Abstract)

With Anand Natarajan.

Technical report arXiv:1512.02090.

- Survey on nonlocal games and operator space theory
(Abstract)

With Carlos Palazuelos. Journal of Mathematical Physics 57, 015220 (2016).

Technical report arXiv:1512.00419.

# Recent talks

- Overlapping Qubits, QuPa seminar day, Institut Henri Poincare, Paris, 07 Jul 2016.
- Device independent quantum cryptography, MIT CIS seminar, MIT, 16 Mar 2016.
- Anchoring games for parallel repetition, UCSD theory seminar, UCSD, 08 Feb 2016.
- Interactive proofs for local Hamiltonians, Workshop on the Frontiers of Quantum Information and Computer Science, QUICS, University of Maryland, 01 Oct 2015 (video).
- A multiprover interactive proof system for the local Hamiltonian problem, Quantum Hamiltonian Complexity Reunion at the Simons Institute, Berkeley, 04 May 2015.
- Non-Signalling Parallel Repetition Via de Finetti Reductions, UCLA theory seminar, UCLA, 28 Apr 2015.
- Non-Signalling Parallel Repetition Via de Finetti Reductions, Simons Institute workshop on Information Theory in Complexity Theory and Combinatorics, Berkeley, 22 Apr 2015.
- Noncommutative Grothendieck inequalities and quantum two-player games, BMC Mini-Symposia on Quantum Information, Cambridge, UK, 01 Apr 2015.
- Quantum XOR Games, Banff workshop on Hypercontractivity and Log Sobolev Inequalities in Quantum Information Theory, Banff, 24 Feb 2015.
- A multiprover interactive proof system for the local Hamiltonian problem, QIP 2015, Sydney, 16 Jan 2015.
- The quantum PCP conjecture, PCQC inauguration workshop, Paris, 28 Aug 2014.
- Tutorial on the quantum PCP conjecture, AQIS, Kyoto, 20 Aug 2014.
- Parallel repetition of entangled projection games, ELC Workshop at the University of Tokyo on Quantum Complexity Theory, Tokyo, 18 Aug 2014.
- A polynomial-time algorithm for the ground state of 1D gapped local Hamiltonians, PiQuDos seminar at Perimeter Institute, Waterloo, 14 May 2014 (video).
- A Polynomial-time Algorithm for Finding Ground States of Gapped Local Hamiltonians in 1D, Workshop on Tensor Networks and Simulations, Simons Institute, Berkeley, 23 Apr 2014 (video).

# Service

- Editor for Theory of Computing.
- Program Committee member for QIP 2012, QCRYPT 2012, FSTTCS 2013, QIP 2014, STOC 2014, RANDOM 2014, QCRYPT 2014, ITCS 2015, TQC 2015, ITCS 2016, QIP 2016, CCC 2016, FOCS 2016.
- Refereed for journals SICOMP, JACM, TOC, Nature, Complexity, QIC, PRL, PRA, PRX and conferences STOC, FOCS, ITCS, CCC, APPROX/RANDOM, Crypto, QIP.

# Workshop organization

- In October 2015, together with Artur Ekert, Renato Renner, Miklos Santha and Umesh Vazirani I organized a small workshop on foundations of randomness at the Stellenbosch Institute for Advanced Study (STIAS) in South Africa. See the webpage or this blog post and follow-up posts (first talk, day 1, day 2, day 3) for information on the workshop.
- In February 2014 I co-organized (with Dorit Aharonov and John Watrous) a one-week workshop on Quantum Games and Protocols at the Simons Institute in Berkeley. This was the first out of three workshops in the special semester on Quantum Hamiltonian Complexity at the institute. See the Simons website for videos of all talks, this blog post for a summary of the workshop, this one describing a (personal) scientific outcome of the workshop.

# Funding

- NSF CAREER "Interactions with Untrusted Quantum Devices", 02/2016-01/2021.
- Air Force Young Investigator Award "Towards a Secure Quantum Network", 2016-2019.
- Okawa Foundation Research Grant 2015-2016.