The Gödel Prize

–The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Special Interest Group on Algorithms and Computation Theory of the Association for Computing Machinery (ACM-SIGACT). The Prize is named in honor of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before Neumann's death, in what has become the famous "P versus NP" question. The Prize, which includes an award of $5,000, is presented annually.

• Stephen Brookes, 2016 (with Peter O'Hearn)
  For their papers on, "Inventing Concurrent Separation Logic"

• Shang-Hua Teng, 2008 (CS Ph.D. 1991) (with Daniel A. Spielman)
  For their development of "Smoothed Analysis"

• Steven Rudich, 2007 (with Alexander Razborov)
  For their paper, "Natural Proofs"
  Journal of Computer and Systems Sciences, Vol. 55, No. 1, 1997.