Algorithm 版 (精华区)

发信人: ssos (存在与虚无·戒酒戒网), 信区: Algorithm
标  题: 历届图灵奖获得者
发信站: 哈工大紫丁香 (2001年08月23日17:01:22 星期四), 站内信件

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

--

   
<<社会契约论>>是一本好书,应当多读几遍
风味的肘子味道不错,我还想再吃它      

※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.230.220]