榜单搜索

哥德尔奖

哥德尔奖,由欧洲理论计算机学会和美国计算机学会基础理论专业组织在1993年联合设立,以逻辑学与计算机科学先驱——库尔特·哥德尔名字命名,主要颁发给理论计算机领域最杰出的学术论文。哥德尔奖含金量很高,而想要获得哥德尔奖可不是件容易的事。获奖论文必须在理论计算机领域具有开创性重大贡献,并且该论文必须在14年内在学术期刊上正式发表过,最后还要通过由6名被EATCS和ACM SIGACT提名的评选委员会成员的评审,这样才能确定出最终的获奖者。
目录
哥德尔奖介绍

哥德尔奖(Gödel Prize),由欧洲计算机学会(EATCS)与美国计算机学会基础理论专业组织(ACM SIGACT)于1993年共同设立,颁给理论计算机领域最杰出的学术论文。其名称取自伟大的逻辑学家库尔特·哥德尔(Kurt Gödel)。哥德尔也被认为是理论计算机的先驱。著名的P vs.NP问题,被发现是哥德尔在1956年写给冯·诺依曼(John von Neumann)的一封信中首次提到的。哥德尔奖是理论计算机领域最负盛名的奖项。

哥德尔奖自1993年起每年于该年度的STOC或ICALP上颁发一次,奖金为$5000。

获奖名单

年份 姓名 理论成果

1993年 László Babai for the development ofinteractive proof systems

Shafi Goldwasser

Silvio Micali

Shlomo Moran

Charles Rackoff

1994年 Johan Håstad for an exponential lower bound on the size of constant-depth Boolean circuits (for the parity function).

1995年 Neil Immerman for the Immerman–Szelepcsényi theorem regarding nondeterministic space complexity

Róbert Szelepcsényi

1996年 Mark Jerrum for work on Markov chains and the approximation of the permanent of a matrix

Alistair Sinclair

1997年 Maurice Herlihy for defining a formal notion of "knowledge" in distributed environments

Mike Saks

Nir Shavit

Fotios Zaharoglou

1998年 Seinosuke Toda for Toda's theorem which showed a connection between counting solutions (PP) and alternation of quantifiers (PH)

1999年 Peter Shor for Shor's algorithm for factoring numbers in polynomial time on a quantum computer

2000年 Moshe Y. Vardi for work on temporal logic with finite automata

Pierre Wolper

2001年 Sanjeev Arora for the PCP theorem and its applications to hardness of approximation

Uriel Feige

Shafi Goldwasser

Carsten Lund

László Lovász

Rajeev Motwani

Shmuel Safra

Madhu Sudan

Mario Szegedy

2002年 Géraud Sénizergues for proving that equivalence of deterministic pushdown automata is decidable

2003年 Yoav Freund for the AdaBoost algorithm in machine learning

Robert Schapire

2004年 Maurice Herlihy for applications of topology to the theory of distributed computing

Mike Saks

Nir Shavit

Fotios Zaharoglou

2005年 Noga Alon for their foundational contribution to streaming algorithms

Yossi Matias

Mario Szegedy

2006年 Manindra Agrawal for the AKS primality test

Neeraj Kayal

Nitin Saxena

2007年 Alexander Razborov for natural proofs

Steven Rudich

2008年 滕尚华 for smoothed analysis of algorithms

Daniel Spielman

2009年 Omer Reingold for zig-zag product of graphs and undirected connectivity in log space

Salil Vadhan

Avi Wigderson

2010年 Sanjeev Arora for their concurrent discovery of a polynomial-time approximation scheme (PTAS) for the Euclidean Travelling Salesman Problem (ETSP)

Joseph S. B. Mitchell

2011年 Johan Håstad for proving optimal inapproximability result for various combinatorial problems

2012年 Elias Koutsoupias for laying the foundations of algorithmic game theory

Christos Papadimitriou

Noam Nisan

Amir Ronen

Tim Roughgarden

Éva Tardos

2013年 Dan Boneh for multi-party Diffie–Hellman key exchange and the Boneh–Franklin scheme in cryptography

Matthew K. Franklin

Antoine Joux

2014年 Ronald Fagin for Optimal Aggregation Algorithms for Middlewar

Amnon Lotem

Moni Naor

2015年 滕尚华 for their series of papers on nearly-linear-time Laplacian solvers

Daniel Spielman

人物轶事

1993年首届哥德尔奖得主中就有一位女性Shafi Goldwasser。Shafi Goldwasser与1993年另一位获奖者Silvio Micali于2012年共同获得图灵奖(Turing Award)。实际上,Shafi Goldwasser两次获得哥德尔奖,另一次是在2001年。截止到2015年,共有6位学者两次获奖,其他五位分别是Sanjeev Arora(2001,2010)和Johan Håstad(1994,2011),滕尚华和Daniel Spielman(2008,2015),Mario Szegedy(2001, 2005)。

截止到2015年,获奖的华人学者只有一位,是美国南加州大学滕尚华教授。

哥德尔奖相关榜单
计算机界十大含金量最高的奖项 计算机世界级大奖有哪些
世界十大计算机奖名单如下:图灵奖、奈望林纳奖、计算机先驱奖、哥德尔奖、格雷斯·霍珀奖、约翰·冯·诺依曼奖、ACM软件系统奖、高德纳奖、戈登·摩尔奖、中国计算机学会王选奖,下面请看榜单详细内容。
更多榜中榜推荐
计算机界十大含金量最高的奖项 计算机世界级大奖有哪些
世界十大计算机奖名单如下:图灵奖、奈望林纳奖、计算机先驱奖、哥德尔奖、格雷斯·霍珀奖、约翰·冯·诺依曼奖、ACM软件系统奖、高德纳奖、戈登·摩尔奖、中国计算机学会王选奖,下面请看榜单详细内容。
相关分类
  • 计算机奖
  • 科学奖
  • 数学奖
  • 医学奖
  • 设计奖
  • 文学奖
  • 艺术奖
  • 计算机类
  • 计算机期刊
  • 计算机网站
  • 计算机证书
  • 计算机考级教材
  • 电脑培训
  • 电脑
  • 豆瓣网
  • 中国国家地理
  • 男人装
  • 新浪微博
  • 影视奖项
  • 好莱坞
  • 脸书
  • 热门文章
  • 世界十大计算机奖
  • 世界十大艺术奖项
  • 豆瓣评分最高的十大灾难片
  • 世界十大音乐奖项
  • 世界十大科学奖项
  • 世界十大美食奖项
  • 世界十大摄影奖项
  • 十大获得香港金像奖最多的电影
  • 世界十大文学奖项
  • 世界十大新闻奖项
  • 世界十大最美好莱坞女星
  • 世界十大服装设计奖
  • 世界十大医学奖项
  • 豆瓣评分最高的狗狗电影
  • 热门词条
  • 1
    奈望林纳奖
  • 2
    格雷斯·霍珀奖
  • 3
    计算机先驱奖
  • 4
    戈登·摩尔奖
  • 5
    高德纳奖
  • 6
    图灵奖
  • 7
    哥德尔奖
  • 8
    中国计算机学会王选奖
  • 9
    ACM软件系统奖
  • 10
    约翰·冯·诺依曼奖