注册 登录  
 加关注
   显示下一条  |  关闭
温馨提示!由于新浪微博认证机制调整,您的新浪微博帐号绑定已过期,请重新绑定!立即重新绑定新浪微博》  |  关闭

My Unix World

不要迷恋Unix,Unix只是计算世界很小的一部分!

 
 
 

日志

 
 

转:历届图灵奖得主(1966-2006)  

2009-09-08 23:47:13|  分类: mathematics-basi |  标签: |举报 |字号 订阅

  下载LOFTER 我的照片书  |
历届图灵奖得主(1966-2006)

图灵奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的 诺贝尔奖.它是以英国数学天才Alan Turing先生的名字命名的,Alan Turing先生对早期计算的理论和实践做出了突出的贡献.图灵奖主要授予在计算机技术领域做出突出贡献的个人.而这些贡献必须对计算机业有长远而重要的 影响.迄今为止已有34位在计算机领域做出突出贡献的科学家获此殊荣.

1966年,A. J. Perlis因其在新一代编程技术和编译架构方面的贡献成为图灵奖的第一个得主.
图灵奖被称为“计算科学界的诺贝尔奖”,它创立于1960年,现在的奖金10万美元,由Intel公司赞助。

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

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

1969 Marvin Minsky因其在人工智能研究方面的杰出成就而获得1969年的图灵奖的。当年他才42岁。

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因在数据库和事务处理方面的突出贡献而获奖

1999  Frederick P.和Brooks ,Jr.因对计算机体系结构和操作系统以及软件工程做出了里程碑式的贡献. 人月神话的作者。

2000  Yao, Andrew Chi-Chih (姚期智)由于在计算理论方面的贡献而获奖,包括伪随机数的生成算法、加密算法和通讯复杂性。

2001  Dahl, Ole-Johan和Nygaard, Kristen 因他们在设计编程语言SIMULA I 和 SIMULA 67时产生的基础性想法,这些想法是面向对象技术的肇始.

2002  Rivest, Ronald L.和Shamir, 和Adi Adleman, Leonard M.国际上最具影响力的公钥密码算法“RSA”的创始人

2003  Kay, Alan 因发明第一个完全面向对象的动态计算机程序设计语言Smalltalk. 至理名言:预测未来的最好方法是创造它。

2004  Cerf, Vinton G.和Kahn, Robert E.(TCP/IP协议发明人)由于在互联网方面开创性的工作,这包括设计和实现了互联网的基础通讯协议,TCP/IP,以及在网络方面卓越的领导。

2005  Naur, Peter ACM(美国计算机学会)决定将2005年图灵奖颁发给Peter Naur, 以表彰他在设计Algol 60语言上的贡献。由于其定义的清晰性,Algol 60成为了许多现代程序设计语言的原型。在语法描述中广泛使用的BNF范式,其中的     “N”便是来自Peter Naur的名字。

2006度的图灵奖(Turing Award)授予了75岁的Frances E. Allen,以对其在编译器优化理论和实践方面做出的开创性贡献予以充分肯定。
Allen是该奖项创立40年来的第一位女性得主。她在密歇根大学获得数学硕士学位后,于1957年加盟了IBM公司。
她之前的工作还包括为美国国家安全局编写智能分析软件,以及为IBM的蓝色基因(Blue Gene)超级计算机设计软件等。
2002年退休后,Allen一直致力于旨在鼓励女性从事计算机科学的教育项目
  评论这张
 
阅读(272)| 评论(0)
推荐 转载

历史上的今天

评论

<#--最新日志,群博日志--> <#--推荐日志--> <#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--历史上的今天--> <#--被推荐日志--> <#--上一篇,下一篇--> <#-- 热度 --> <#-- 网易新闻广告 --> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->
 
 
 
 
 
 
 
 
 
 
 
 
 
 

页脚

网易公司版权所有 ©1997-2017