哥德尔奖（英语：Gödel Prize）由欧洲理论计算机学会（EATCS）与美国计算机学会基础理论专业组织（ACM SIGACT）于1993年共同设立。哥德尔奖颁发给理论计算机领域最杰出的学术论文。其名称取自逻辑学与计算机科学的先驱库尔特•哥德尔（Kurt Gödel）。
哥德尔被认为与亚里士多德一样是历史上最伟大的逻辑学家之一。著名的P vs. NP问题，是哥德尔在1956年写给冯•诺依曼（John von Neumann）的一封信中首次提到的。
哥德尔奖获奖论文必须在理论计算机领域具有开创性重大贡献；同时须在获奖前14年内在学术期刊上正式发表。
哥德尔奖是理论计算机领域最负盛名的奖项。评审委员会由6名成员组成，分别由EATCS主席与ACM SIGACT主席提名。评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。颁奖典礼在当年的理论计算机会议STOC或ICALP上举行。
获奖者
- 1993年－László Babai，莎菲·戈德瓦塞尔，希尔维奥·米卡利，Shlomo Moran，与 Charles Rackoff
- 1994年－Johan Håstad
- 1995年－Neil Immerman 与 Róbert Szelepcsényi
- 1996年－Mark Jerrum 与阿利斯泰尔·辛克莱尔
- 1997年－Joseph Halpern 与 Yoram Moses
- 1998年－户田诚之助
- 1999年－彼得·秀尔
- 2000年－Moshe Y. 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
- 2007年－Alexander Razborov，Steven Rudich
- 2008年－Daniel Spielman，滕尚华
- 2009年 -Omer Reingold, Salil Vadhan, Avi Wigderson
- 2010年 -Sanjeev Arora, Joseph S. B. Mitchell
- 2011年 -Johan Håstad
- 2012年 -Elias Koutsoupias, 赫里斯托斯·帕帕季米特里乌, Noam Nisan, Amir Ronen, Tim Roughgarden与Éva Tardos
- 2013年 -Dan Boneh, Matthew K. Franklin与Antoine Joux
- 2014年 -Ronald Fagin, Amnon Lotem与Moni Naor
- 2015年 -Daniel Spielman，滕尚华
- 2016年 -Stephen Brookes，Peter W. O'Hearn
- 2017年 -Cynthia Dwork，Frank McSherry，Kobbi Nissim，亚当·史密斯[1]
- 2018年 -Oded Regev[2]
- 2019年 -Irit Dinur[3]
- 2020年 -Robin Moser，Gábor Tardos[4]
参考资料
- ↑ 2017 Gödel Prize. European Association for Theoretical Computer Science. EATCS. [29 March 2017].
- ↑ 2018 Gödel Prize citation. [2020-05-17].
- ↑ 2019 Gödel Prize citation. [2020-05-17].
- ↑ 2020 Gödel Prize citation. [2020-05-17].