夏武

夏武的博客

他的个人主页  他的博客

历届图灵奖获得者名单

夏武  2009年06月16日 星期二 14:01 | 2305次浏览 | 11条评论

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

历届图灵奖获得者名单:  
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)   
and Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)

因在人工智能、人类识别心理和表处理的基础研究而获奖.  

1976 Michael O. Rabin --- PhD, Princeton; Prof, Harvard  
and 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  
and 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, Cornell
and 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   
and Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany

因奠定了计算复杂性理论的基础而获奖.

1994 Raj Reddy --- PhD, Stanford; Prof, CMU   
and 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 (姚期智,首位华人获奖者)
因对计算理论做出了诸多根本性的重大贡献.

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

2002 Ronald L. Rivest --- PhD, Stanford; MIT;  
and Adi Shamir --- PhD, Weizmann;
and Leonard 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,以及在网络方面卓越的领导。

2005 Peter Naur
因在设计 Algol 60 语言 上的贡献。由于其定义的清晰性, Algol 60 成为了许多现代程序设计语言的原型。

2006 Frances Allen(首位女性获奖者)
对于优化编译器技术的理论和实践做出的先驱性贡献,这些技术为现代优化编译器和自动并行执行打下了基础

2007 Edmund M. Clarke、E Allen Emerson和Joseph Sifakis

对目前在硬件和软件领域被广泛使用的模型检查发展成为一个重要的,高效的验证技术所做出的杰出贡献。

2008 Barbara Liskov

在计算机程序语言,系统设计,特别是在数据抽象,容错系统设计和分布式计算方面的理论和工程设计方面的杰出贡献。

丽丝克夫经过数十年的研究,在编程设计上进行了大量创新,这些创新使软件更为可靠和更易维护。她曾发明2种计算机语言:CLU(一种面向对象的代码)和Argus(一种分布式编程语言)。

丽丝克夫的突破性研究成果实际上支撑起整个现代应用软件行业,成为现代编程语言如Java、C#和C++语言的基础。她最重要的科研成果是在推动数据抽象使用上所做的贡献,数据抽象是一种组织复杂程序的方法。

 

评论

我的评论:

发表评论

请 登录 后发表评论。还没有在Zeuux哲思注册吗?现在 注册 !
Will Song

回复 Will Song  2009年09月18日 星期五 23:07

我倒是知道06年的这个女的搞并行编译器的...

0条回复

吕慧伟

回复 吕慧伟  2009年08月02日 星期日 10:20

08和09年都是Barbara Liskov么?

1条回复

  • 夏武

    回复 夏武  2009年08月02日 星期日 10:29

    09年的还没有评出来,抱歉,一直没有注意这个编辑错误。

    0条回复

范占伟(军旗)

回复 范占伟(军旗)  2009年06月24日 星期三 13:42

向PHD出发

0条回复

白杨

回复 白杨  2009年06月16日 星期二 17:27

满眼的PhD,看来真的该努力出去读一个来

6条回复

暂时没有评论

Zeuux © 2024

京ICP备05028076号