Sanjeev Arora
He was awarded the Gödel Prize for his work on the PCP theorem in 2001 and again in 2010 for the discovery ( concurrently with Joseph S . B . Mitchell ) of a polynomial time approximation scheme for the Euclidean travelling salesman problem . 
<triplet> Joseph S. B. Mitchell <subj> Gödel Prize <obj> award received