ゲーデル賞
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ゲーデル賞 (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, シャフィ・ゴールドワッサー, 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（AKS素数判定法）
