My research is in quantum complexity and cryptography. In complexity, I study the power of quantum interactive proof systems; in cryptography I research fundamental notions of security for cryptographic tasks that are enabled by the use of quantum information. In both cases my work uses concepts from theoretical computer science to shed light on the principles of quantum mechanics such as entanglement, the uncertainty principle and no-cloning.