Research interests: Theoretical computer science, with a focus on sublinear algorithms, interactive proofs and quantum computation.