图灵奖
- 格式:doc
- 大小:1.46 MB
- 文档页数:27
网络安全图灵奖网络安全图灵奖是由国际计算机科学联合会(ACM)每年颁发的一个奖项,用于表彰在计算机和网络安全领域做出重大贡献的个人或团队。
该奖项是对计算机科学界最高荣誉之一,也是对网络安全领域重要成就的肯定和鼓励。
在互联网时代,网络安全问题十分严峻,因此网络安全图灵奖的设立对推动网络安全研究和技术的发展起到了至关重要的作用。
网络安全图灵奖的首次颁发是在2004年,获奖者是Ronald L. Rivest、Adi Shamir和Leonard M. Adleman,他们开发了RSA 加密算法。
RSA算法是一种非对称加密算法,通过利用大素数的性质,实现了加密和解密过程中使用不同的密钥。
这个算法被广泛应用在互联网通信和电子商务中,为保护用户的隐私和保密信息做出了重要贡献。
此后,网络安全图灵奖的获奖者涵盖了从密码学到网络协议、漏洞发现和修复等广泛的领域。
例如,在2012年,Silvio Micali和Shafi Goldwasser因对零知识证明(zero-knowledge proof)的贡献获得该奖项。
零知识证明是一种通过交互证明来验证某种陈述的方法,而不公开实际证明的内容。
这种技术可以应用于密码学和安全协议的设计中,保障了用户的隐私和数据安全。
除了个人贡献,一些组织和团队也因其在网络安全领域的突出贡献而获得网络安全图灵奖。
比如,在2014年,Tor(The Onion Router)团队获得了该奖项。
Tor是一种用于保护通信隐私的匿名通信系统,通过分布式网络,让用户的网络流量经过多个中间节点,从而隐藏用户的真实IP地址和身份信息。
这一技术对于维护用户隐私、抵御网络监控和攻击非常重要。
通过网络安全图灵奖的设立和颁发,可以增加社会公众对网络安全问题的关注和了解。
同时,该奖项也提高了网络安全研究和技术创新的重要性和意识。
这对于推动网络安全技术的发展和提高整体网络安全水平都起到了积极的促进作用。
网络安全图灵奖作为一个国际性的奖项,不仅对于网络安全领域的科学家和工程师来说是一种荣誉,更重要的是它对于社会的意义,能够激励更多的人投身于网络安全研究和创新工作,为保护网络安全和用户隐私做出更大的贡献。
ACM各类奖项与申请过程1.图灵奖(A. M. Turing Award)图灵奖为ACM最享有声望的技术奖,奖金为250,000美元。
该奖授予在计算机界做出原创性贡献的个人,每年奖励一名。
这些原创性贡献对计算机领域而言应是可持续的、技术上的重要性是非常巨大的。
图灵奖的由Intel和Google公司提供赞助。
提名过程:任何人都可以成为提名人,提名信息应包括以下内容:(1)提名人的姓名、地址和电话;(2)被提名人的姓名、地址;(3)一段200~500字的陈述,介绍被提名人的主要成就,阐述推荐理由;(4)至少三份签名背书;提名信息通过电子邮件形式发送给图灵奖挑选委员会主席。
2.ACM-Infosys基金会奖(ACM - Infosys Foundation Award)ACM-Infosys基金会奖始于2007年,授予在相关研究领域取得最伟大成就、具有广泛深远影响的当代年轻科学家和系统开发人员。
奖金为150,000美元,由Infosys 基金会捐赠款提供赞助。
提名过程:任何人都可以成为提名人,提名信息应包括以下内容:(1)提名人的姓名、地址和电话;(2)被提名人的简历,包括年龄、出版书籍和已发表论文、专利、其它获奖荣誉等;(3)主要提名人的提名信件,描述被提名人的主要工作以及所做出的主要贡献;(4)至少三份签名背书。
提名信息通过电子邮件形式发送给ACM-Infosys 基金会奖挑选委员会主席。
3.特优服务奖(Distinguished Service Award)该奖项授予基于为计算机界所做的服务的价值和程度。
所做的贡献不限于为ACM所做的服务,可包括为其他计算机组织的活动,但须强调为整个计算机界所做的贡献。
提名过程:任何人都可以成为提名人,该奖项接受自我提名。
提名信息应该包括以下内容:(1)提名人的姓名、地址;(2)被提名人的姓名、地址;(3)一段200~500字的陈述,介绍被提名人的主要成就,阐述提名理由;(4)两份签名背书。
历届图灵奖获得者(1966-2010)图灵奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项, 被喻为计算机界的诺贝尔奖. 它是以英国数学天才Alan Turing先生的名字命名的, Alan Turing先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突出贡献的个人. 而这些贡献必须对计算机业有长远而重要的影响.图灵奖被称为“计算科学界的诺贝尔奖”,它创立于1960年,现在的奖金10万美元,由Intel 公司赞助。
历届图灵奖获得者名单:1966 A. J. Perlis --- PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)因在新一代编程技术和编译架构方面的贡献而获奖.1967 Maurice V. Wilkes --- PhD, Cambridge; Prof, Cambridge因设计出第一台程序实现完全内存的计算机而获奖.1968 Richard W. Hamming --- PhD, UIUC; Prof, Naval Postgraduate School (was at Bell) (deceased)因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖.1969 Marvin Minsky --- PhD, Princeton, Prof, MIT因对人工智能的贡献被授予图灵奖.1970 J.H. Wilkinson --- BS, Cambridge; staff, National Physical Laboratory, London因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖.1971 John McCarthy --- PhD, Princeton; Prof, Stanford因对人工智能的贡献被授予图灵奖.1972 Edsger W. Dijkstra --- PhD, U Amsterdam; Prof, UT Austin因在编程语言方面的出众表现而获奖.1973 Charles W. Bachman --- staff, Honeywell因在数据库方面的杰出贡献而获奖.1974 Donald E. Knuth --- PhD, Caltech; Prof, Stanford因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖.1975 Allen Newell --- PhD, Stanford; Prof, CMU (deceased)和Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)因在人工智能、人类识别心理和表处理的基础研究而获奖.1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard和Dana S. Scott --- PhD, Princeton; Prof, CMU因他们的论文"有限自动机与它们的决策问题"中所提出的非决定性机器这一很有价值的概念而获奖.1977 John Backus --- BS, Columbia; staff, IBM因对可用的高级编程系统设计有深远和重大的影响而获奖.1978 Robert W. Floyd --- BS, Chicago; Prof, Stanford因其在软件编程的算法方面的影响,并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖.1979 Kenneth E. Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖.1980 C. Anthony R. Hoare --- Prof, Oxford(now at Microsoft)因对程序设计语言的定义和设计所做的贡献而获奖. 快速排序算法发明人1981 Edgar F. Codd --- PhD, Michigan; staff, IBM因在数椐库管理系统的理论和实践方面的贡献而获奖.1982 Steven A. Cook --- PhD, Harvard; Prof, U Toronto因奠定了NP-Completeness理论的基础而获奖.1983 Ken Thompson --- MS, Berkeley; staff, Bell-Labs和Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs因在类属操作系统理论,特别是UNIX操作系统的推广而获奖.1984 Niklaus Wirth --- PhD, Berkeley; Prof, ETH Zurich因开发了EULER、ALGOL-W、MODULA和PASCAL一系列崭新的计算语言而获奖. 提出了程序= 算法+ 数据结构1985 Richard M. Karp --- PhD, Harvard; Prof, Berkeley因对算法理论的贡献而获奖.1986 John E. Hopcroft --- PhD, Stanford; Prof, Cornelland Robert E. Tarjan --- PhD, Stanford; Prof, Princeton因在算法及数据结构的设计和分析中所取得的决定性成果而获奖.1987 John Cocke --- staff, IBM因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖.1988 Ivan E. Sutherland --- PhD, MIT; staff, Sun因在计算机图形学方面的贡献而获奖.1989 William V. Kahan --- PhD, U Toronto; Prof, Berkeley因在数值分析方面的贡献而获奖,他是是浮点计算领域的专家.1990 Fernando J. Corbato --- PhD, MIT; Prof, MIT因在开发大型多功能、可实现时间和资源共享的计算系统,如CTSS和Multics方面的贡献而获奖.1991 Robin Milner --- Prof, Cambridge (was at U Edinburgh)因在可计算的函数的逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖.1992 Butler Lampson --- PhD, Berkeley; staff, Microsoft因在个人分布式计算机系统(包括操作系统)方面的贡献而获奖.1993 Juris Hartmanis --- PhD, Caltech; Prof, Cornell和Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany因奠定了计算复杂性理论的基础而获奖.1994 Raj Reddy --- PhD, Stanford; Prof, CMU和Edward Feigenbaum (PhD, CMU; Prof, Stanford)因对大型人工智能系统的开拓性研究而获奖.1995 Manuel Blum --- PhD, MIT; Prof, Berkeley因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖.1996 Amir Pnueli --- PhD, Weizmann Institute; Prof, NYU因在计算中引入Temporal逻辑和对程序及系统检验的贡献被获奖.1997 Douglas Engelbart --- PhD, Berkeley; staff, SRI因提出互动式计算概念并创造出实现这一概念的重要技术而获奖.1998 James Gray --- PhD, Berkeley; staff, Microsoft因在数据库和事务处理方面的突出贡献而获奖.1999 Frederick P. Brooks, Jr.--- PhD, Harvard; Prof, UNC因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献.2000 Andrew Chi-Chih Yao --- PhD, UIUC; Prof, Princeton (now at 清华)因对计算理论做出了诸多根本性的重大贡献. (图灵奖自创立以来获得该奖项的首位华裔学者,全球华人的骄傲) 2001 Ole-Johan Dahl, and Kristen Nygaard --- Profs, U Oslo因他们在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法,这些想法是面向对象技术的肇始.2002 Ronald L. Rivest, Adi Shamir, Leonard M. Adelman-Ronald L. Rivest: PhD, Stanford; MIT Adi Shamir: PhD, Weizmann; WeizmannLeonard M. Adelman: PhD, Berkeley; USC 因他们在公共密匙算法上所做的杰出贡献(RSA 算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制).2003 Alan Kay --- PhD, Utah; HP Labs (was at Xerox PARC)因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.2004 Vinton G. Cerf、Robert E. Kahn获奖原因:由于在互联网方面开创性的工作,这包括设计和实现了互联网的基础通讯协议,TCP/IP,以及在网络方面卓越的领导。
图灵奖(A.M. Turing Award),由美国计算机协会(ACM)于1966年设立,又叫“A.M. 图灵奖”,有“计算机界诺贝尔奖”之称,专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。
大多数获奖者是计算机科学家。
由来阿兰·麦席森·图灵阿兰·麦席森·图灵(Alan Mathison Turing,1912.6.23—1954.6.7),是英国著名的数学家和逻辑学家,被称为计算机科学之父、人工智能之父,是计算机逻辑的奠基者,提出了“图灵机”和“图灵测试”等重要概念。
人们为纪念其在计算机领域的卓越贡献而设立“图灵奖”。
概况图灵奖(又译“杜林奖”)是美国计算机协会(ACM)于1966年第一个设立的奖项,专门奖励那些在计算机科学研究中做出创造性贡献、推动了计算机科学技术发展的杰出科学家。
虽然没有明确规定,但从实际执行过程来看,图灵奖偏于在计算机科学理论和软件方面作出贡献的科学家。
奖杯-图灵碗奖金金额不算太高,设奖初期为2万美元,1989年起增到2万5千美元,奖金通常由计算机界的一些大企业提供(通过与ACM签订协议)。
由于图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。
目前图灵奖由英特尔公司和google公司赞助,奖金为250,000美元。
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。
从1966年到2009年的44届图灵奖,共计有56名科学家获此殊荣,其中美国学者最多,此外还有英国、瑞士、荷兰、以色列等国少数学者。
图灵奖简介图灵奖(A.M. Turing Award,又译“杜林奖”),由美国计算机协会(ACM)于1966年设立,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
由于图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者图灵奖对获奖者的要求极高,评奖程序极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名在同一方向上做出贡献的科学家同时获奖。
因此,尽管“图灵”的奖金数额不算高,但它却是计算机诺贝尔奖”之称。
美国计算机协会1966年图灵奖获得者美国科学家艾伦·佩利(Alan J.Perlis):ALGOL语言和计算机科学的“催生者”。
获奖演说“算法系统的综合”(The Sy nthesis of AlgorithmicSy stem)。
1967年图灵奖获得者英国科学家莫里斯·威尔克斯(Maurice V.Wilkes):世界上第一台存储程序式计算机EDSAC的研制者。
获奖演说“计算机的过去和现在”(ComputerThen and Now)。
1968年图灵奖获得者美国科学家理查德·汉明(RichardW.Hamming):发明了纠错码——汉明码(HammingCode)。
获奖演说“对计算机科学的看法”(On Man‟s View of ComputerScience)。
1969年图灵奖获得者美国科学家马文·明斯基(Marv in L.Minsky):“人工智能之父”,知识的框架理论(Frame Theory)创立者。
一、图灵奖图灵奖,是国际计算机协会(ACM)于1966年设立的,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·图灵,这个奖设立目的之一是纪念这位科学家。
获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。
大多数获奖者是计算机科学家。
图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。
图灵奖对获奖者的要求极高,评奖程序也极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。
目前图灵奖由英特尔公司赞助,奖金为100,000美元。
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的评审,并最终确定当年的获奖者。
截止至2005年,获此殊荣的华人仅有一位,他是2000年图灵奖得主姚期智。
2011年获得该奖项的是犹大·伯尔,他在人工智能方面有突出研究。
二、计算机先驱奖IEEE-CS的计算机先驱奖(Computer Pioneer Award)设立于1980年。
兼顾了理论与实践,设计与工程实现,硬件与软件,系统与部件。
计算机先驱奖打破了社会制度和意识形态的限制,一批前苏联和东欧国家的计算机科学家获得了表彰。
中国的计算机科学家至今无人获奖(只有一名美籍华裔学者杰弗里·朱于1981年获此殊荣)。
三、高德纳奖高德纳奖(Donald E. Knuth Prize),授予为计算机科学基础做出杰出贡献的人,以计算机科学家高德纳(Donald E. Knuth)命名。
高德纳奖始于1996年,每1.5年颁发一次,包括5000美元奖金。
现在奖项由ACM计算机理论研讨会和IEEE计算机科学基础研讨会交替颁发。
高德纳奖的获得者由颁奖委员会选出。
计算机科学领域的重要奖项与荣誉计算机科学作为现代社会中关键的学科领域之一,培养和发展了无数的科学家和工程师,推动了人类社会的进步。
为了嘉奖在计算机科学领域做出卓越贡献的个人和团队,许多重要的奖项与荣誉被设立和颁发。
本文将介绍计算机科学领域的几个重要奖项与荣誉,包括图灵奖、ACM学院、ACM SIGMOD最佳论文奖、ACM SIGCHI最佳论文奖,以及IEEE Fellow。
一、图灵奖图灵奖是计算机科学领域最高荣誉之一,以纪念英国计算机科学先驱阿兰·图灵而设立。
该奖项由ACM(计算机协会)每年颁发一次,奖励在计算机科学和计算机工程领域做出杰出贡献的个人或集体。
获奖者除了获得10万美元的奖金,还享有崇高的国际声望。
二、ACM学院ACM学院是ACM设立的一个具有特殊荣誉称号的会员组织。
对于计算机科学领域作出重要贡献的学界和工业界人士,被选为ACM学院院士(Fellow)是一种重要的荣誉。
ACM学院每年通过严格的评选程序,选出在计算机科学研究、教育和实践方面有杰出贡献的个人,并授予其ACM学院院士称号。
三、ACM SIGMOD最佳论文奖ACM SIGMOD最佳论文奖是由ACM数据管理小组(SIGMOD)颁发的一个重要奖项,旨在奖励在数据库管理和相关领域做出杰出贡献的学术论文。
该奖项每年评选一次,获奖论文需要经过评审委员会的严格评选和筛选,最终选出对于数据库管理领域有重要影响的论文,并授予作者荣誉和奖金。
四、ACM SIGCHI最佳论文奖ACM SIGCHI最佳论文奖是由ACM人机交互小组(SIGCHI)颁发的一个重要奖项,旨在奖励在人机交互领域做出杰出贡献的学术论文。
该奖项每年评选一次,获奖论文需要经过评审委员会的严格评选和筛选,最终选出对于人机交互领域有重要影响的论文,并授予作者荣誉和奖金。
五、IEEE FellowIEEE Fellow是IEEE(国际电气和电子工程师协会)最高的会员级别,是对在电气工程和计算机科学领域作出杰出贡献的个人颁发的荣誉称号。
三位在数据库领域作出杰出贡献的图灵奖获得者简介图灵奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖。
它是以英国数学天才Alan Turing先生的名字命名的,Alan Turing先生对早期计算的理论和实践做出了突出的贡献。
图灵奖主要授予在计算机技术领域做出突出贡献的个人。
而这些贡献必须对计算机技术有长远而重要的影响。
每年,美国计算机协会将要求提名人推荐本年度的图灵奖候选人,并附加一份200到500字的文章,说明被提名者为什么应获此奖。
任何人都可成为提名人。
美国计算机协会将组成评选委员会对被提名者进行严格的审核,并最终确定当年的获奖者。
迄今为止已有3位在数据库领域做出突出贡献的科学家获此殊荣。
查尔斯·巴赫曼20世纪60年代中期以来,数据库技术的形成、发展和日趋成熟,使计算机数据处理技术跃上了一个新台阶,并且极大的推动了计算机的普及与应用。
因此,1973年的图灵奖首次授予在这方面作出杰出贡献的数据库先驱查尔斯·巴赫曼(CharlesW.Bachman)。
巴赫曼1924年12月11日生于堪萨斯州的曼哈顿。
1948年在密歇根州立大学取得工学学士学位,1950年在宾夕法尼亚大学取得硕士学位。
20世纪50年代在Dow化工公司工作,1961-1970年在通用电气公司任程序设计部门经理,1970-1981年在H o neywell公司任总工程师,同时兼任Cul llinet软件公司的副总裁和产品经理。
1983年巴赫曼创办了自己的公司Bachman Informa tion System,Inc.。
巴赫曼在数据库方面的主要贡献有两项,第一就是在通用电气公司任程序设计部门经理期间,主持设计与开发了最早的网状数据库管理系统IDS。
本文内容:1. 图灵生平2. 图灵奖简介3. 历届图灵获得者1.图灵生平阿兰.图灵(Alan Turing)1912年生于英国伦敦,1954年死于英国的曼彻斯特,他是计算机逻辑的奠基者,许多人工智能的重要方法也源自于这位伟大的科学家。
他对计算机的重要贡献在于他提出的有限状态自动机也就是图灵机的概念,对于人工智能,它提出了重要的衡量标准"图灵测试",如果有机器能够通过图灵测试,那他就是一个完全意义上的智能机,和人没有区别了。
他杰出的贡献使他成为计算机界的第一人,现在人们为了纪念这位伟大的科学家将计算机界的最高奖定名为"图灵奖"。
在中学时,他在科学方面的才能就已经显示出来,这种才能仅仅限于非文科的学科上,他的导师希望这位聪明的孩子也能够在历史和文学上有所成就,但是都没有太大的建树。
少年图灵感兴趣的是数学等学科。
在加拿大他开始了他的职业数学生涯,在大学期间这位学生似乎对前人现成的理论并不感兴趣,什么东西都要自己来一次。
大学毕业后,他前往美国普林斯顿大学也正是在那里,他制造出了以后称之为图灵机的东西。
图灵机被公认为现代计算机的原型,这台机器可以读入一系列的零和一,这些数字代表了解决某一问题所需要的步骤,按这个步骤走下去,就可以解决某一特定的问题。
这种观念在当时是具有革命性意义的,因为即使在50年代的时候,大部分的计算机还只能解决某一特定问题,不是通用的,而图灵机从理论上却是通用机。
在图灵看来,这台机器只用保留一些最简单的指令,一个复杂的工作只用把它分解为这几个最简单的操作就可以实现了,在当时他能够具有这样的思想确实是很了不起的。
他相信有一个算法可以解决大部分问题,而困难的部分则是如何确定最简单的指令集,怎么样的指令集才是最少的,而且又能顶用,还有一个难点是如何将复杂问题分解为这些指令的问题。
二战时,图灵在英国通信部工作,他运用他的专业技能破译德国密码,这在当时十分不容易,因为德国人开发出一种用于计算的机器称为Enigma,它能够定期将密码改变,让破译者根本摸不到头绪。
首届图灵奖颁发优秀计算机科学研究(论
文)
首届图灵奖颁发优秀计算机科学研究(论文)
一、简介
首届图灵奖是对在计算机科学领域做出杰出贡献的个人或团队的表彰,重点评选出优秀的计算机科学研究论文。
本文将介绍首届图灵奖的背景和目的,以及评选过程和结果。
二、背景
计算机科学作为现代科技领域的重要学科,发展迅速且影响广泛。
为了鼓励和表彰那些在计算机科学领域具有卓越成就和突出贡献的个人或团队,图灵奖应运而生。
首届图灵奖旨在通过评选优秀的计算机科学研究论文,推动学术研究的发展和进步。
三、目的
首届图灵奖的目的是鼓励和奖励那些在计算机科学领域做出重要贡献的个人和团队。
通过评选优秀的计算机科学研究论文,可以推动学术界的创新和知识的传播,促进计算机科学的发展和应用。
四、评选过程
首届图灵奖的评选过程分为以下几个步骤:
1.提名阶段:学术界可以提名符合条件的计算机科学研究论文。
2.评审阶段:评审专家组对提名的论文进行评审和筛选,选出
最具优秀贡献的论文。
3.决选阶段:最终评选出一篇或多篇获奖论文,并颁发首届图
灵奖。
五、评选结果
首届图灵奖的评选结果将公布在官方网站上,并在相关学术会
议或活动上进行颁奖典礼。
获奖论文将被认可为对计算机科学领域
的创新和进步做出重要贡献的典范。
六、结论
通过首届图灵奖的设立,可以激励和表彰那些在计算机科学领
域做出突出贡献的个人和团队,促进学术研究的进步和创新。
这对
于推动计算机科学的发展和应用具有重要意义,为推进科技进步作
出了积极贡献。
历届图灵奖获得者及获奖原因:图灵奖(Turing Award,又译杜林奖),是计算机协会(ACM)于1966年设立的,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。
目前图灵奖由英特尔公司以及Google公司赞助,奖金为250,000美元。
2012 Shafi Goldwasser和Silvio Micali获奖原因:在密码科学复杂理论基础过程中做出变革性工作,并且发展了保证网上交易安全的黄金法则”。
2011 Judea Pearl获奖原因:通过概率论和因果推理对人工智能领域作出的根本性贡献2010Leslie Valiant 对众多计算理论所做的变革性的贡献获奖原因:表彰他在让计算机模拟人类思考和逻辑推理方面作出的突出贡献。
2009 Charles Thacker获奖原因:对第一台现代个人计算机Xerox PARC Alto的先驱性设计与实现,还有在局域网(包括以太网)、多处理器工作站、窥探高速缓存一致性协议和平板PC 等方面的重大发明和贡献2008 Barbara Liskov 编程语言和系统设计的实践与理论获奖原因:第一个支持数据抽象的面向对象编程语言CLU的设计与实现,第一个支持分布式程序实现的高级语言Argus,面向对象数据库系统Thor,还有最近的Byzantine分布式容错系统2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis获奖原因:在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献。
而DDJ则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”。
2006 Fran Allen获奖原因:对于优化编译器技术的理论和实践做出的先驱性贡献,这些技术为现代优化编译器和自动并行执行打下了基础。
2005 Peter Naur获奖原因:由于在设计Algol60程序设计语言上的贡献。
Algol60语言定义清晰,是许多现代程序设计语言的原型。
专业的学术奖项学术界的发展离不开专业的学术奖项的推动和鼓励。
这些奖项旨在表彰在各个学术领域中做出杰出贡献的个人和团体,激励更多人积极投身于学术研究和创新工作。
在本文中,我们将介绍几个重要的专业学术奖项,以及它们的背景、评选标准和发展趋势。
一、图灵奖(ACM A.M. Turing Award)图灵奖是计算机科学领域最高荣誉,被誉为“计算机界的诺贝尔奖”。
这个奖项是为了纪念英国数学家、逻辑学家和密码学家阿兰·图灵而设立的。
图灵是计算机科学的奠基人之一,他在计算理论和人工智能领域做出了许多开创性的贡献。
图灵奖每年由美国计算机学会(ACM)颁发,以表彰在计算机科学领域做出杰出贡献的个人或团队。
评选委员会综合考虑候选人在技术创新、学术影响力、社会影响力等方面的表现,以确保奖项的公正性和权威性。
二、诺贝尔奖(Nobel Prize)诺贝尔奖是世界上最重要的学术奖项之一,分为物理学奖、化学奖、生理学或医学奖、文学奖、和平奖以及经济学奖六个领域。
它们是根据瑞典著名发明家阿尔弗雷德·诺贝尔的遗愿而设立的,旨在奖励在这些领域做出杰出贡献的个人或团队。
诺贝尔奖的评选具有严格的程序和标准,由各个领域的专家组成的评委会进行评选。
候选人需要在相关领域有卓越的创新和发现,或者在和平领域做出了重大贡献。
获得诺贝尔奖可以极大地提升获奖者的学术声誉和社会地位,对于激励学术界的研究和创新具有重要作用。
三、菲尔兹奖(Fields Medal)菲尔兹奖是数学界的最高荣誉,由国际数学联合会(IMU)颁发。
与图灵奖类似,菲尔兹奖也是为了纪念一个数学家,即加拿大数学家查尔斯·菲尔兹。
这个奖项旨在鼓励和表彰35岁以下的杰出年轻数学家,以激励他们的进一步研究和创新。
菲尔兹奖评选过程非常严格,由国际数学联合会组成的评委会从全球范围内的候选人中进行评选。
评委会主要考虑候选人在数学研究和创新方面的杰出成就,以及对数学领域的潜在影响力。
图灵奖(A.M. Turing Award,又译“杜林奖”),由美国计算机协会(ACM)于1966年设立,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。
其名称取自计算机科学的先驱、英国科学家阿兰·麦席森·图灵。
由于图灵奖对获奖条件要求极高,评奖程序又是极严,一般每年只奖励一名计算机科学家,只有极少数年度有两名合作者或在同一方向作出贡献的科学家共享此奖。
因此它是计算机界最负盛名、最崇高的一个奖项,有“计算机界的诺贝尔奖”之称。
目前图灵奖由英特尔公司以及Google公司赞助,奖金为250,000美元。
第一个:艾伦·佩利(Alan J.Perlis),(1922-1990)毕业于麻省理工学院,博士。
ALCOL语言和计算机科学的“催生者”,由于在ALGOL语言的定义和扩充上所作出的重大贡献,以及在创始计算机科学教育,使计算机科学成为一门独立的学科上所发挥的巨大作用而成为首届图灵奖当之无愧的获得者。
佩利1973年当选为美国艺术和科学院院士,1976年当选为美国工程院院士。
除了获得图灵奖外,他还在1984年获得AFIPS的教育奖,曾被普渡大学、滑铁卢大学等多所大学授予名誉博士学位。
1966年成为首届图灵奖的获得者,其图灵奖演讲稿为:“The Synthesis of Algorithmic Systems”(算法系统的合成)。
第二个:莫里斯·文森特·威尔克斯爵士,FREng,FRS(Sir Maurice Vincent Wilkes,1913年6月23日-),英国计算机科学家。
设计和制造了世界上第一台存储程序式电子计算机EDSAC,在“工程和软件等计算机领域都有许多开创性成果”。
1956年,他当选为皇家学会院士;英国计算机学会的创始人之一,并担任第一任主席(1957年-1960年);1977年和1980年先后当选为美国工程院和美国科学院外籍院士;是国际信息处理联盟(IFIP)的主要发起人之一。
1967年获ACM图灵奖,图灵奖演讲题目是:Computers Then and Now(计算机的过去和现在)。
第三个:理查德·卫斯里·汉明(英语:Richard Wesley Hamming,1915年2月11日-1998年1月7日),美国数学家,主要贡献在计算机科学和电讯。
1937年芝加哥大学学士学位毕业,1939年内布拉斯加大学硕士学位毕业,1942年伊利诺伊大学香槟分校博士学位毕业。
1946至76年在贝尔实验室工作。
他曾和约翰·怀尔德·杜奇、克劳德·艾尔伍德·香农合作。
1956年他参与了IBM 650的编程语言发展工作。
1968年获得ACM图灵奖。
第四个:马文·闵斯基(Marvin Lee Minsky)出生于1927年,是一位美国人工智能领域的科学家,麻省理工学院人工智能实验室的创始人之一,著有几部人工智能和哲学方面的作品。
1950年于哈佛大学获得数学学士学位,1954年于普林斯顿大学获得数学博士学位。
自1958年起在麻省理工学院任教,现为东芝媒体艺术与科学教授、麻省理工学院电子工程与计算机科学教授。
1969年获得ACM图灵奖。
第五个:詹姆斯·哈迪·威尔金森,(James Hardy Wilkinson 1919年9月27日-1986年10月5日)是英国数学家和计算机学家,在数值分析领域具有杰出贡献。
数值分析是应用数学与计算机科学的交叉学科,特别在工程和物理学上具有显著的应用。
1940年,他开始研究弹道学,并与1946年进入英国最著名的学术机构之一英国国家物理实验室(NPL)的数学部,期间研制了电子计算机Pilot ACE。
在NPL,威尔金森一开始协助图灵设计计算机Pilot ACE。
图灵离开NPL后,他接手整个项目,使得Pilot ACE于1950年5月10日,第一次正式试运行成功。
1970年获得ACM图灵奖,图灵奖演讲题目是:Some Comments from a Numerical Analyst (一个数值分析家的若干意见)。
第六个:约翰·麦卡锡(John McCarthy,1927年9月4日-2011年10月24日[1][2]),生于美国马萨诸塞州波士顿,计算机科学家。
他于1948年获得加州理工学院数学学士学位,1951年获得普林斯顿大学数学博士学位。
分别短暂地为普林斯顿大学、斯坦福大学、达特茅斯学院和麻省理工学院供职后,麦卡锡于1962年-2000年底在斯坦福担任教授,退休后成为名誉教授。
麦卡锡发明了LISP并于1960年将其设计发表在《美国计算机学会通讯》(Communications of the ACM)上。
他因在人工智能领域的贡献而在1971年获得图灵奖。
实际上,正是他在1955年的达特矛斯会议上提出了“人工智能”这个概念。
第七个:艾兹格·W·迪科斯彻(Edsger Wybe Dijkstra,1930年5月11日~2002年8月6日)荷兰人。
计算机科学家,毕业就职于荷兰Leiden大学,早年钻研物理及数学,而后转为计算学。
他是计算机先驱之一,他开发了程序设计的框架结构。
曾经提出“goto有害论”信号量和PV原语,解决了有趣的“哲学家聚餐”问题,提出了目前离散数学应用广泛的最短路径算法(Dijkstra's Shortest Path First Algorithm)。
曾在1972年获得过素有计算机科学界的诺贝尔奖之称的图灵奖,之后,他还获得过1974年AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖、以及2002年ACM PODC最具影响力论文奖。
第八个:查尔斯·威廉·巴赫曼(Charles William Bachman,1924年11月11日-),是美国计算机科学家,因其在数据库领域的工作而闻名。
在密歇根州立大学获得机械工程的学士学位之后,1950年,又在宾夕法尼亚大学取得硕士学位。
巴赫曼的整个职业生涯基本上是在工业界里,而没有在学术界里作过研究或教职工作。
1973年,他因“数据库技术方面的杰出贡献”而被授予图灵奖,并做了题为“作为导航员的程序员(The Programmer as Navigator)”的演讲。
1977年因其数据库系统方面的开创性工作而被选为英国计算机学会的杰出研究员(Distinguished Fellow)。
他也被列入数据库名人堂。
第九个:高德纳(Donald Ervin Knuth,1938年1月10日-),出生于密尔沃基,美国著名计算机科学家,斯坦福大学计算机系荣誉退休教授。
高德纳教授被誉为现代计算机科学的鼻祖,在计算机科学及数学领域发表了多部具广泛影响的论文和著作。
高德纳最为人知的事迹是,他是《计算机程序设计艺术》(The Art of Computer Programming)的作者。
此书是计算机科学界最受高度敬重的参考书籍之一。
他创造了算法分析的领域,在数个理论计算机科学的分支做出基石一般的贡献,此外还是排版软件TeX 和字体设计系统Metafont的发明人。
1974年获得ACM图灵奖。
第十个(有两人):赫伯特·西蒙(Herbert Alexander Simon1916- 2001),经济组织决策管理大师,第十届诺贝尔经济学奖获奖者。
1978年瑞典皇家科学院贺辞说,其科学成就远超过他所教的任何一门学科——政治学、管理学、心理学和信息科学。
他的研究成果涉及科学理论、应用数学、统计学、运筹学、经济学和企业管理等方面,在所有的这些领域中西蒙都发挥了重要的作用。
他是现代一些重要学术领域的创建人之一,如人工智能、信息处理、决策制定、解决问题、注意力经济、组织行为学、复杂系统等。
他创造了术语有限理性(Bounded rationality)和满意度(satisficing),也是第一个分析复杂性架构(architecture of complexity)的人。
西蒙自幼熟读经济学家理查德·伊利的经济学书籍,于1933年进入芝加哥大学,师从挪威经济学家特里夫·哈维默与荷兰经济学家特亚林·科普曼斯,1943年获得芝加哥大学政治科学博士,1949年被聘为卡内基梅隆大学的教授。
1975年获得ACM图灵奖。
艾伦·纽厄尔(Allen Newell,1927年3月19日-1992年7月19日)是计算机科学和认知信息学领域的科学家,曾在兰德公司,卡内基梅隆大学的计算机学院、泰珀商学院和心理学系任职和教研。
他是信息处理语言(IPL)发明者之一,并写了该语言最早的两个AI 程序,合作开发了逻辑理论家(Logic Theorist 1956年)和通用问题求解器General Problem Solver。
1975年他和赫伯特·西蒙一起因人工智能方面的基础贡献而被授予图灵奖。
第十一个(有两人):迈克尔·O·拉宾(Michael Oser Rabin,1931年9月1日-)是一名以色列计算机科学家,1953年,他获得希伯来大学的理学硕士,1956年获普林斯顿大学博士学位。
1959年,拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”(Finite Automata and Their Decision Problems)的论文,提出了非确定自动机的观点。
他们也因此获得了1976年的图灵奖,并做“计算机复杂性”(Complexity of Computations)的演讲。
达纳·斯图尔特·斯科特(Dana Stewart Scott 1932年10月11日-)美国科学家,研究领域涉及计算机科学、数学和哲学,斯科特1932年10月11日生于美国加利福尼亚州,在加州大学伯克利分校获得学士学位以后,进入普林斯顿大学研究生院学习,与迈克尔·拉宾一起师从阿隆索·邱奇,1958年取得博士学位。
1976年图灵奖得主。
第十二个:约翰·华纳·巴克斯(英语:John Warner Backus,1924年12月3日-2007年3月17日),美国计算机科学家,是早期高阶语言(High-level Language)FORTRAN的发明小组组长。
他提出了BNF(用来定义形式语言语法的记号法),发明Function-level programming这个概念及实践该概念的FP语言。
被誉为“Fortran 语言之父”。