哥德尔奖
维基百科，自由的百科全书
哥德尔奖是以著名的逻辑学家库尔特·哥德尔命名的奖项，由欧洲理论计算机协会（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 与阿利斯泰爾·辛克萊爾
- 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
