ゲーデル賞

ゲーデル賞 (Gödel Prize) は、理論計算機科学分野で優れた功績を残した人に、ACM（アメリカ計算機学会）のアルゴリズムと計算量理論に関する部会とEATCS（ヨーロッパ理論コンピュータ学会）が贈る賞である。受賞者には賞金5,000ドルが贈られる。論理学者クルト・ゲーデルに由来する。計算機科学分野ではチューリング賞と並んで権威を持つ賞である。日本人では、戸田誠之助が受賞している。

受賞者一覧

• 1993年 - László Babai, シャフィ・ゴールドワッサー, 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年 - 戸田誠之助
• 1999年 - Peter Shor
• 2000年 - Moshe Vardi, Pierre Wolper
• 2001年 - Sanjeev Arora, Uriel Feige, シャフィ・ゴールドワッサー（2回目）, 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年 - マニンドラ・アグラワル, ニラジュ・カヤル, Nitin Saxena（AKS素数判定法）
• 2007年 - Alexander Razborov, Steven Rudich
• 2008年 - Shanghua Teng, Salil Vadhan,Avi Wigderson
• 2009年 - Omer Reingold, Daniel Spielman
• 2010年 - Sanjeev Arora, Joseph S. B. Mitchell
• 2011年 - Johan Håstad