Jonathan Shi is a PhD student studying computer science at Cornell University, advised by David Steurer. He received a BS in computer science, physics, and mathematics from University of Washington in 2013. He is currently studying upper bounds on the computational power of sum-of-squares proofs.