簡介
哥德爾獎是以著名的邏輯學家庫爾特·哥德爾命名的獎項，由歐洲理論計算機協會（European Association for Theoretical Computer Science，簡稱EATCS）與美國計算機協會（Association of Computing Machinery，簡稱ACM）的ACM SIGACT（Special Interest Group on Algorithms and computation Theory）共同頒發。這個獎項是獎勵給在理論計算機科學領域中優秀論文的作者。
哥德爾獎自1993年起每年於該年度的STOC或ICALP上頒發一次，獎金為$5000。
歷年獲獎者名單
1993年－László Babai，Shafi Goldwasser，Silvio Micali，Shlomo Moran，與 Charles Rackoff
1994年－Johan Håstad
1995年－Neil Immerman 與 Róbert Szelepcsényi
1996年－Mark Jerrum 與 Alistair Sinclair
1997年－Joseph Halpern 與 Yoram Moses
1998年－Seinosuke Toda
1999年－Peter Shor
2000年－Moshe Y. Vardi 與 Pierre Wolper
2001年－Sanjeev Arora，Uriel Feige，Shafi Goldwasser，Carsten Lund，László Lovász，Rajeev Motwani，Shmuel Safra，Madhu Sudan，與 Mario Szegedy
2002年－Géraud Sénizergues
2003年－Yoav Freund 與 Robert Schapire
2004年－Maurice Herlihy，Mike Saks，Nir Shavit 與 Fotios Zaharoglou
2005年－NOGA Alon，Yossi Matias 與 Mario Szegedy
2006年－Manindra Agrawal，Neeraj Kayal，Nitin Saxena
2007年－Alexander Razborov，Steven Rudich
2008年－滕尚華，Daniel Spielman
