历届图灵奖获奖图书 图灵奖 图灵奖-历史沿革,图灵奖-获奖条件

图灵奖(A.M. Turing Award,又译“杜林奖”),由美国计算机协会(ACM)于1966年设立,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家艾伦・麦席森・图灵。由于图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。从1966年到2014年,49届,共62名得主,按国籍分,美国学者最多,欧洲学者偶见之,华人学者目前仅有2000年图灵奖得主姚期智(现在清华大学)。据相关资料统计,美国著名学府加州大学伯克利分校(UC Berkeley)的图灵奖人数为世界之最(20位),接下依次是斯坦福大学(18位)和麻省理工学院(16位)。2016年3月1号,斯坦福大学著名密码技术与安全技术专家惠特菲尔德・迪菲和马丁・赫尔曼成为2015年度“图灵奖”得主。

图灵奖_图灵奖 -历史沿革


71年图灵奖杯图灵奖是美国计算机协会于1966年设立的,又叫“A.M.图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家艾伦・图灵,这个奖设立目的之一是纪念这位科学家。

图灵奖对获奖者的要求极高,评奖程序极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。因此,尽管“图灵”的奖金数额不算高,但它却是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。

从1966年到2013年的48届图灵奖,共计有61名科学家获此殊荣,其中美国学者最多,此外还有英国、瑞士、荷兰、以色列等国少数学者。

截止至2013年,获此殊荣的华人仅有一位,他是2000年图灵奖得主姚期智。

图灵奖_图灵奖 -获奖条件

由于图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。因此它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。

每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会,对被提名者进行严格的评审,并最终确定当年的获奖者。

图灵奖_图灵奖 -历届得主

从1966年到2014年,49届,共62名得主,按国籍分,美国学者最多,欧洲学者偶见之,华人学者目仅有2000年图灵奖得主姚期智(现在清华大学)。

62名得主分布在几十个小领域,排在前六的领域有:编译原理、程序设计语言,计算复杂性理论,人工智能,密码学,以及数据库(4名)。在某种意义上,可大致认为,前三个领域与计算机科学本身更密切一些,后三个领域与军民应用更密切一些。

年份中文译名姓名贡献领域1966年艾伦・佩利Alan J. Perlis高级程序设计技巧, 编译器 构造1967年莫里斯・威尔克斯Maurice V. Wilkes存储程序式计算机 EDSAC , 程序库1968年理查德・卫斯里・汉明Richard Hamming数值方法, 自动编码系统 ,错误检测和 纠错码1969年马文・闵斯基Marvin Minsky人工智能1970年詹姆斯・维尔金森James H. Wilkinson数值分析 , 线性代数 ,倒退错误分析1971年约翰・麦卡锡John McCarthy人工智能1972年艾兹格・迪科斯彻Edsger Dijkstra程序设计语言 的科学与艺术1973年查理士・巴赫曼Charles W. Bachman数据库技术1974年高德纳Donald E. Knuth算法分析、程序设计语言的设计、程序设计1975年艾伦・纽厄尔赫伯特・西蒙Allen NewellHerbert A. Simon人工智能,人类认知心理学和列表处理 (list processing)1976年迈克尔・拉宾达纳・斯科特Michael O. RabinDana S. Scott非确定性自动机1977年约翰・巴克斯John Backus高级编程系统,程序设计语言规范的形式化定义1978年罗伯特・弗洛伊德Robert W. Floyd设计高效可靠软件的方法学1979年肯尼斯・艾佛森Kenneth E. Iverson程序设计语言和数学符号,互动系统的设计,运用 APL进行教学,程序设计语言的理论与实践1980年东尼・霍尔C. Antony R. Hoare程序设计语言的定义与设计1981年埃德加・科德Edgar F. Codd数据库系统 ,尤其是关系型数据库1982年史提芬・古克Stephen A. Cook计算复杂度1983年肯・汤普逊丹尼斯・里奇Ken ThompsonDennis M. RitchieUNⅨ操作系统和 C语言1984年尼古拉斯・沃斯Niklaus Wirth程序设计语言设计、程序设计1985年理查德・卡普Richard M. Karp算法理论,尤其是NP-完全性理论1986年约翰・霍普克罗夫特罗伯特・塔扬John HopcroftRobert Tarjan算法和数据结构的设计与分析1987年约翰・科克John Cocke编译理论,大型系统的体系结构,及精简指令集(RISC)计算机的开发1988年伊凡・苏泽兰Ivan Sutherland计算机图形学1989年威廉・卡亨William Morton Kahan数值分析1990年费尔南多・考巴托Fernando J. CorbatóCTSS 和 Multics1991年罗宾・米尔纳Robin MilnerLCF , ML语言 , CCS1992年巴特勒・兰普森Butler W. Lampson分布式 ,个人计算环境1993年尤里斯・哈特马尼斯理查德・斯特恩斯Juris HartmanisRichard E. Stearns计算复杂度理论1994年爱德华・费根鲍姆拉吉・瑞迪Edward FeigenbaumRaj Reddy大规模人工智能系统1995年曼纽尔・布卢姆Manuel Blum计算复杂度理论,及其在 密码学 和程序校验上的应用1996年阿米尔・伯努利Amir Pnueli时序逻辑 ,程序与系统验证1997年道格拉斯・恩格尔巴特Douglas Engelbart互动计算1998年詹姆斯・尼古拉・格雷James Gray数据库与事务处理1999年弗雷德里克・布鲁克斯Frederick P. Brooks,Jr.计算机体系结构 ,操作系统, 软件工程2000年姚期智Andrew Chi-Chih Yao计算理论,包括 伪随机数 生成,密码学与通信复杂度2001年奥利-约翰・达尔克利斯登・奈加特Ole-Johan DahlKristen Nygaard面向对象编程2002年罗纳德・李维斯特阿迪・萨莫尔伦纳德・阿德曼Ronald L. RivestAdi ShamirLeonard M. Adleman公钥密码学 ( RSA加密算法 )2003年艾伦・凯Alan Kay面向对象编程2004年文特・瑟夫罗伯特・卡恩Vinton G. CerfRobert E. KahnTCP/IP 协议2005年彼得・诺尔Peter NaurAlgol 60语言2006年法兰西斯・艾伦Frances E. Allen优化编译器2007年爱德蒙・克拉克艾伦・爱默生约瑟夫・斯发基斯Edmund M. ClarkeAllen EmersonJoseph Sifakis开发自动化方法检测计算机硬件和软件中的设计错误2008年芭芭拉・利斯科夫Barbara Liskov编程语言和系统设计的实践与理论2009年查尔斯・萨克尔Charles Thacker帮助设计、制造第一款现代PC2010年莱斯利・瓦伦特Leslie Valiant对众多计算理论所做的变革性的贡献2011年犹大・伯尔Judea Pearl人工智能2012年沙菲・戈德瓦塞尔西尔维・奥麦克林Shafi GoldwasserSilvio Micali由于在密码学和复杂理论领域做出创举性工作2013年
莱斯利・兰伯特Leslie Lamport在提升计算机系统的可靠性及稳定性领域的杰出贡献2014年

2015年Michael Stonebraker惠特菲尔德・迪菲马丁・赫尔曼Michael StonebrakerWhitfieldDiffieMartinHellman对现代数据库系统底层的概念与实践所做出的基础性贡献

公共密钥密码体系

图灵奖_图灵奖 -图灵简介

生平

英国著名学者阿兰・麦席森・图灵(AlanMathisonTuring)是著名的数学家、密码学家、计算机科之父。他不仅以“纸上下棋机”率先探讨了下棋与机器智能的联系,他还是举世公认的“人工智能之父”。图灵不仅是“人工智能之父”,他也是“计算机之父”。

图灵1912年生于英国伦敦,1931年进入剑桥大学国王学院,毕业后到美国普林斯顿大学攻读博士学位,二战爆发后回到剑桥大学。期间协助英国军方硬解德军著名密码系统“谜”(Enigma),为盟军取得二战胜利起到重要作用。

图灵是计算机逻辑的奠基者,提出了“图灵机”,”图灵测试“等重要概念。曾担任过冯・诺依曼助手的美国学者弗兰克尔这样写到:“许多人都推举冯・诺依曼为‘计算机之父',然而我确信他本人从来不会促成这个错误。或许,他可以被恰当地称为助产士,但是他曾向我,并且我肯定他也曾向别人坚决强调:如果不考虑巴贝奇、阿达和其他人早先提出的有关概念,计算机的基本概念属于图灵。”正是冯・诺依曼本人亲手把“计算机之父”的桂冠转戴在图灵头上。直到现在,计算机界仍有个一年一度“图灵奖”,由美国计算机学会(ACM)颁发给世界上最优秀的电脑科学家,像科学界的诺贝尔奖金那样,是电脑领域的最高荣誉。阿兰・图灵以其独特的洞察力提出了大量有价值的理论思想,似乎都成为计算机发展史不断追逐的目标,不断地被以后的发展证明其正确性。

二战结束后,图灵因同性恋倾向在当时的英国遭受歧视,被政府定罪,被迫接受”治疗“,职业生涯结束,1954年6月7日,图灵被发现死于家中的床上,床头放着一个被咬了一口的苹果,其中含有氰化物,警方调查后结论为服毒自杀。直到2013年12月24日,英国司法部长宣布:图灵当时受到的判决”不公,有歧视“,现已获得女王伊莉莎白二世的赦免,称“女王的赦免是对这位优秀人物的献礼”。同时,英国首相卡梅伦表示:图灵在二战时破解德军密码、拯救国家上发挥了关键作用,是一个“了不起的人”。

成就

历届图灵奖获奖图书 图灵奖 图灵奖-历史沿革,图灵奖-获奖条件

图灵开创了计算机科学的重要分支――人工智能,虽然他当时并没有明确使用这个术语。把“图灵奖”获奖者作一统计后就会发现,许多电脑科学家恰好是在人工智能领域作出的杰出贡献。例如,1969年“图灵奖”获得者是哈佛大学的明斯基(M.Minsky);1971年“图灵奖”获得者是达特莫斯大学的麦卡锡(J.McCarthy);1975年“图灵奖”则由卡内基―梅隆大学的纽厄尔(A.Newell)和赫伯特・西蒙(H.Simon)共同获得。正是这些人,把图灵开创的事业演绎为意义深远的“达特莫斯会议”。

荣誉

1954年,42岁的阿兰・图灵英年早逝。为了纪念他在计算机领域奠基性的贡献,美国计算机学会(ACM)决定设立“图灵奖”,从1966年开始颁发给最优秀的电脑科学家,它就像科学界的诺贝尔奖那样,是电脑领域的最高荣誉。

着作

⒈《论可计算数及其在判定问题上的应用》(OnComputableNumbers,withanApplicationtotheEntscheidungsproblem)(1936年5月28日)

⒉超计算(hypercomputation)的概念

⒊《形态发生的化学基础》(TheChemicalBasisofMorphogenesis)(1952年)

⒋一九八三年另一位同性恋的牛津数学家安德鲁.哈吉斯(AndrewHodges),替他写了一本脍炙人口的传记《谜样的图灵》(AlanTuring:TheEnigma),

⒌图灵死后――1992年《艾伦・图灵选集》

图灵奖_图灵奖 -获奖人士

世界上第一台存储程序式计算机EDSAC的研制者

1967年(第二届)的图灵奖授予了英国皇家科学院院士、计算技术的先驱莫里斯・威尔克斯(MauriceVincentWilkes),以表彰他在设计与制造世界上第一台存储程序式计算机EDSAC以及其他许多方面的杰出贡献。

威尔克斯1913年生于英国中西部的达德利,距著名的工业重镇伯明翰仅20公里。威尔克斯在中学时代,对数学、物理和无线电非常爱好。1931年他进入剑桥的圣约翰学院,1934年以优秀成绩毕业。之后他进入剑桥著名的卡文迪什实验室工作。这个实验室有“诺贝尔奖的摇篮”的美称。威尔克斯在这里完成了“关于甚长无线电波在电离层中的传播特性”的研究,并以此为题完成了博士论文,于1938年10月取得剑桥大学博士学位,而他的硕士学位是在当年年初才获得的。

威尔克斯博士毕业后,战争阴云已布满欧洲上空。二战期间,威尔克斯被吸收到研制侦察潜水艇、军舰和飞机的雷达设备的项目中去,所研制的导航技术在大战中最受盟军飞行员欢迎。

战后,威尔克斯回到剑桥大学,担任数学实验室(后改名计算机实验室)主任。1946年5月他获得了冯・诺依曼起草的EDVAC计算机设计方案的一份复印件。这里要说明一下世界上第一台计算机究竟是哪一台?实际上世界上第一台电子计算机叫“ENIAC”(它是ElectronicNumericalIntegratorandComputer的词头缩写,意为“电子数字积分器和计算机”),是美国宾西法尼亚大学莫尔学院研制的,但它不具备存储程序能力,程序要通过外接电路板输入。“存储程序”(storedprogram)的概念是现代电子计算机最基本概念之一,也是其最基本特征之一。1945年6月30日,冯・诺依曼发表了题为“关于离散变量自动电子计算机的草案”的长文,正式提出了存储程序的概念,因此存储程序式计算机被称为“冯・诺依曼结构”,而他所建议的“离散变量自动电子计算机”就是上面提到的EDVAC(ElectronicDiscreteVariableAutomaticComputer)。由于工程上遇到困难,EDVAC迟至1952年才完成。威尔克斯在获得EDVAC复印件后,仔细研究了该方案,并又到美国进行了学习和调研。回国后,威尔克斯立即以EDVAC为蓝本设计自己的计算机并组织实施,起名为EDSAC(ElectronicDelayStorageAutomaticCalculator)。当时也遇到了资金上的困难。在关键时刻,威尔克斯成功地说服了伦敦一家面包公司老板投资该项目,终于使计划绝处逢生。1949年5月6日,EDSAC首次运行成功,真正成为世界上第一台存储程序式计算机,并于1951年正式投入市场,成为世界上第一个商品化的计算机型号。

威尔克斯在设计与建造EDSAC过程中,决不是简单地模仿和照搬EDVAC的设计,而是创造和发明了许多新的技术和概念,例如“变址”;“宏指令”;微程序设计;子例程及子例程库;高速缓存Cache等等。所有这些都对现代计算机体系结构和程序设计技术产生了深远的影响。威尔克斯的贡献是多方面的,他当之无愧地成为第二届图灵奖获得者。

程序设计语言的先驱开拓者―艾伦・佩利

艾伦・佩利(AlanJ.Perlis)由于在ALGOL语言定义和扩充上所作出的重大贡献,以及在创始计算机科学教育,使计算机科学成为一门独立的学科上所发挥的巨大作用而成为1966年首届图灵奖获得者。

佩利1922年4月1日生于美国宾西法尼亚州的匹兹堡。在卡内基理工学院学的专业是化学,1942年毕业取得学士学位。当时正值第二次大战其间,佩利应征入伍,在空军服役。战后他进入加州理工学院继续深造,改学数学,于1947年取得硕士学位,然后又到麻省理工学院(MIT)攻读博士学位并于1950年取得该学位。1951年他在美国陆军军械部设在马里兰州的阿伯丁试验基地的“弹道研究实验室”(冯・诺依曼曾在该实验室当顾问)干了一年,然后又回到母校MIT参加“旋风”(Whirlwind)计算机计划,为“旋风”编制程序。“旋风”计算机是世界上第一台存储程序式的并行计算机,它的研制工作从1946年开始,1950年试运行成功。1952年9月佩利离开“旋风”,之后来到

  

爱华网本文地址 » http://www.aihuau.com/a/8104110103/180709.html

更多阅读

历届金酸梅奖——看看你中了几个 历届诺贝尔文学奖

第1届金酸梅奖(1981年)  1. 最烂电影:《年轻人的狂热》  2. 最烂男主角:尼尔戴蒙《吾父吾爱吾子》  3. 最烂女主角:布鲁克雪德丝《蓝色珊瑚礁》  4. 最烂男配角:约翰亚当斯《女煞葛洛莉》 劳伦斯奥利佛《吾父吾爱无子》  5. 最

历届奥斯卡金像奖获奖歌曲51首集锦 历届奥斯卡金像奖影帝

1934年,第7届奥斯卡开始设立最佳歌曲奖,要求歌曲必须第一次用于电影中才有资格入围。77年时光悠悠而逝,或许电影已被遗忘,但其中的歌曲却仍在传唱。01 We Belong Together - 玩具总动员最新出炉的第83届奥斯卡最佳歌曲是由好莱坞金牌作

声明:《历届图灵奖获奖图书 图灵奖 图灵奖-历史沿革,图灵奖-获奖条件》为网友飞花弄影分享!如侵犯到您的合法权益请联系我们删除