产品推广宣传策划书:图灵奖是什么

来源:百度文库 编辑:高考问答 时间:2024/04/28 01:53:08

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

图灵(A. M. Turing)是现代计算机的发明者之一。图灵奖是以由美国计算机协会(Association of Computer Machinery-ACM)每年颁发给在计算机领域做出意义重大而深远的个人。1966年开始颁发,通常每年仅有一位获奖者。图灵奖的奖金是每年10万美元,由美国的英特尔公司(Intel Corporation)提供。 被誉为“计算机界的诺贝尔奖”,迄今为止已有36位科学家获此殊荣。

历届图灵奖获得者
资料来源:Yat-sen Channel

1966 A.J.Perlis因在新一代编程技术和编译架构方面的贡献而获奖

1967 Maurice V.Wilkes因设计出第一台具有内置存储程序的计算机而获奖

1968 Richard W.Hamming因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖

1969 Marvin Minsky(资料空缺)

1970 J.H.Wilkinson因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖

1971 John McCarthy因对人工智能的贡献被授予图灵奖

1972 Edsger W.Dijkstra因在编程语言方面的出众表现而获奖

1973 Charles W.Bachman因在数据库方面的杰出贡献而获奖

1974 Donald E.Knuth因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖

1975 Allen Newell和Herbert A.Simon因在人工智能、人类心理识别和列表处理等方面进行的基础研究而获奖

1976 Michael O.Robin和Dana S.Scott因他们的论文“有限自动机与它们的决策问题”中所提出的非决定性机器这一很有价值的概念而获奖

1977 John Backus因对可用的高级编程系统设计有深远和重大的影响而获将

1978 Robert W.Floyd因其在软件编程的算法方面的深远影响,并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖

1979 Kenneth E.Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖

1980 C.Anthony R.hoare因对程序设计语言的定义和设计所做的贡献而获奖

1981 Edgar F.Codd因在数据库管理系统的理论和实践方面的贡献而获奖

1982 Steven A.Cook因奠定了NP-Completeness理论的基础而获奖

1983 Ken Thompson和Dennis M.Ritchie因在通用操作系统理论方面的突出贡献,特别是对UNIX操作系统的推广的贡献而获奖

1984 Niklaus Wirth因开发了EULER、ALGOL-W、MODULA和PASCAL一系列崭新的计算语言而获奖

1985 Richard M.Karp因对算法理论的贡献而获奖

1986 John E.Hopcroft因在算法及数据结构的设计和分析中所取得的决定性成果而获奖

1987 John Cocke因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖

1988 Ivan E.Sutherland因在计算机图形学方面的贡献而获奖

1989 William V.Kahan因在数值分析方面的贡献而获奖

1990 Fernando J.Corbato因在开发大型多功能、可实现时间和资源共享的计算系统,如CTSS和Multics方面的贡献而获奖

1991 Robin Milner因在可计算的函数逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖

1992 Butler Lampson因在个人分布式计算机系统方面的贡献而获奖

1993 Jurlis Hartmanis和Richard E.Stearns因奠定了计算复杂性理论的基础而获奖

1994 Raj Reddy和Edward Feigenbaum因对大型人工智能系统的开拓性研究而获奖

1995 Manuel Blum因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖

1996 Amir Pnueli因在中引入临时逻辑和对程序及系统检验的贡献而获奖

1997 Douglas Engelbart因提出交互计算概念并创造出实现这一概念的重要技术而获奖

1998 James Gray因在数据库和事务处理方面的突出贡献而获奖

2000 姚期智(Andrew C.Yao)因为对计算理论做出了诸多“根本性的、意义重大的”贡献而获奖

图灵(A. M. Turing)是现代计算机的发明者之一。图灵奖是以由美国计算机协会(Association of Computer Machinery-ACM)每年颁发给在计算机领域做出意义重大而深远的个人。1966年开始颁发,通常每年仅有一位获奖者。图灵奖的奖金是每年10万美元,由美国的英特尔公司(Intel Corporation)提供。
图灵奖历年获奖者
1966
A.J. Perlis
1967
Maurice V. Wilkes

1968
Richard Hamming
1969
Marvin Minsky

1970
J.H. Wilkinson
1971
John McCarthy

1972
E.W. Dijkstra
1973
Charles W. Bachman

1974
Donald E. Knuth
1975
Allen Newell, Herbert A. Simon

1976
Michael O. Rabin, Dana S. Scott
1977
John Backus

1978
Robert W. Floyd
1979
Kenneth E. Iverson

1980
C. Antony R. Hoare
1981
Edgar F. Codd

1982
Stephen A. Cook
1983
Ken Thompson, Dennis M. Ritchie

1984
Niklaus Wirth
1985
Richard M. Karp

1986
John Hopcroft, Robert Tarjan
1987
John Cocke

1988
Ivan Sutherland
1989
William (Velvel) Kahan

1990
Fernando J. Corbato
1991
Robin Milner

1992
Butler W. Lampson
1993
Juris Hartmanis, Richard E. Stearns

1994
Edward Feigenbaum, Raj 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 Dahl, Kristen Nygaard

2002
Ronald L. Rivest,Adi Shamir,Leonard M. Adleman
2003

图灵奖,是美国计算机协会于1966年设立的,又叫“A.M. 图灵奖”,专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·图灵,这个奖设立目的之一是纪念这位科学家
图灵(A. M. Turing)是现代计算机的发明者之一。图灵奖是以由美国计算机协会(Association of Computer Machinery-ACM)每年颁发给在计算机领域做出意义重大而深远的个人。1966年开始颁发,通常每年仅有一位获奖者。图灵奖的奖金是每年10万美元,由美国的英特尔公司(Intel Corporation)提供。 被誉为“计算机界的诺贝尔奖”,迄今为止已有36位科学家获此殊荣。

历届图灵奖获得者
资料来源:Yat-sen Channel

1966 A.J.Perlis因在新一代编程技术和编译架构方面的贡献而获奖

1967 Maurice V.Wilkes因设计出第一台具有内置存储程序的计算机而获奖

1968 Richard W.Hamming因在计数方法、自动编码系统、检测及纠正错码方面的贡献被授予图灵奖

1969 Marvin Minsky(资料空缺)

1970 J.H.Wilkinson因在利用数值分析方法来促进高速数字计算机的应用方面的研究而获奖

1971 John McCarthy因对人工智能的贡献被授予图灵奖

1972 Edsger W.Dijkstra因在编程语言方面的出众表现而获奖

1973 Charles W.Bachman因在数据库方面的杰出贡献而获奖

1974 Donald E.Knuth因设计和完成TEX(一种创新的具有很高排版质量的文档制作工具)而被授予该奖

1975 Allen Newell和Herbert A.Simon因在人工智能、人类心理识别和列表处理等方面进行的基础研究而获奖

1976 Michael O.Robin和Dana S.Scott因他们的论文“有限自动机与它们的决策问题”中所提出的非决定性机器这一很有价值的概念而获奖

1977 John Backus因对可用的高级编程系统设计有深远和重大的影响而获将

1978 Robert W.Floyd因其在软件编程的算法方面的深远影响,并开创了包括剖析理论、编程语言的语义、自动程序检验、自动程序合成和算法分析在内的多项计算机子学科而被授予该奖

1979 Kenneth E.Iverson因对程序设计语言理论、互动式系统及APL的贡献被授予该奖

1980 C.Anthony R.hoare因对程序设计语言的定义和设计所做的贡献而获奖

1981 Edgar F.Codd因在数据库管理系统的理论和实践方面的贡献而获奖

1982 Steven A.Cook因奠定了NP-Completeness理论的基础而获奖

1983 Ken Thompson和Dennis M.Ritchie因在通用操作系统理论方面的突出贡献,特别是对UNIX操作系统的推广的贡献而获奖

1984 Niklaus Wirth因开发了EULER、ALGOL-W、MODULA和PASCAL一系列崭新的计算语言而获奖

1985 Richard M.Karp因对算法理论的贡献而获奖

1986 John E.Hopcroft因在算法及数据结构的设计和分析中所取得的决定性成果而获奖

1987 John Cocke因在面向对象的编程语言和相关的编程技巧方面的贡献而获奖

1988 Ivan E.Sutherland因在计算机图形学方面的贡献而获奖

1989 William V.Kahan因在数值分析方面的贡献而获奖

1990 Fernando J.Corbato因在开发大型多功能、可实现时间和资源共享的计算系统,如CTSS和Multics方面的贡献而获奖

1991 Robin Milner因在可计算的函数逻辑(LCF)、ML和并行理论(CCS)这三个方面的贡献而获奖

1992 Butler Lampson因在个人分布式计算机系统方面的贡献而获奖

1993 Jurlis Hartmanis和Richard E.Stearns因奠定了计算复杂性理论的基础而获奖

1994 Raj Reddy和Edward Feigenbaum因对大型人工智能系统的开拓性研究而获奖

1995 Manuel Blum因奠定了计算复杂性理论的基础和在密码术及程序校验方面的贡献而获奖

1996 Amir Pnueli因在中引入临时逻辑和对程序及系统检验的贡献而获奖

1997 Douglas Engelbart因提出交互计算概念并创造出实现这一概念的重要技术而获奖

1998 James Gray因在数据库和事务处理方面的突出贡献而获奖

2000 姚期智(Andrew C.Yao)因为对计算理论做出了诸多“根本性的、意义重大的”贡献而获奖