计算机图灵奖

图灵奖简介：

图灵奖，是国际计算机协会（ACM）于1966年设立的，又叫“A.M. 图灵奖”，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·图灵，这个奖设立目的之一是纪念这位科学家。获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。大多数获奖者是计算机科学家。

图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司赞助，奖金为100,000美元。

每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。

图灵奖获奖历史：

1．1966年图灵奖获得者：艾伦•佩利（A. J. Perlis）

PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)

—— ALCOL语言和计算机科学的“催生者”

2．1967年图灵奖获得者：莫里斯•威尔克斯（Maurice V. Wilkes）

PhD, Cambridge; Prof, Cambridge

—— 世界上第一台存储程序式计算机EDSAC的研制者

3．1968年图灵奖获得者：理查德•哈明（Richard W. Hammin）

Prof, Naval Postgraduate School (was at Bell) (deceased)

—— 发明纠错码的大数学家和信息学专家

4．1969年图灵奖获得者：马文•明斯基（Marvin Minsky）

PhD, Princeton, Prof, MIT

—— “人工智能之父”和框架理论的创立者

5．1970年图灵奖获得者：詹姆斯•威尔金森（J.H. Wilkinson）

BS, Cambridge; staff, National Physical Laboratory, London

—— 数值分析专家和研制ACE计算机的功臣

6．1971年图灵奖获得者：约翰•麦卡锡 （John McCarthy）

PhD, Princeton; Prof, Stanford

—— “人工智能之父”和LISP语言的发明人

7．1972年图灵奖获得者：埃德斯加•狄克斯特拉（Edsger W. Dijkstra）

PhD, U Amsterdam; Prof, UT Austin

—— 最先察觉“goto有害”的计算机科学大师

8．1973年图灵奖获得者：查尔斯•巴赫曼 （Charles W. Bachman）

staff, Honeywell

—— “网状数据库之父”

9．1974年图灵奖获得者：唐纳德•克努（Donald E. Knuth）

PhD, Caltech; Prof, Stanford

—— 经典巨著《计算机程序设计的艺术》的年轻作者

10．1975年图灵奖获得者：赫伯特•西蒙和艾伦•纽厄尔

Allen Newell --- PhD, Stanford; Prof, CMU (deceased)

Herbert A. Simon --- PhD, Chicago; Prof, CMU (deceased)

—— 人工智能符号主义学派的创始人

11．1976年图灵奖获得者：米凯尔•拉宾和达纳•斯科特

Michael O. Rabin --- PhD, Princeton; Prof, Harvard

Dana S. Scott --- PhD, Princeton; Prof, CMU

—— 非确定性有限状态自动机理论的开创者

12．1977年图灵奖获得者：约翰•巴克斯（John Backus）

BS, Columbia; staff, IBM

—— FORTRAN和BNF的发明者

13．1978年图灵奖获得者：罗伯特•弗洛伊德（Robert W. Floyd）

BS, Chicago; Prof, Stanford

—— 前后断言法的创始人

14．1979年图灵奖获得者：肯尼思•艾弗森（Kenneth E. Iverson）

—— 大器晚成的科学家，APL的发明人

15．1980年图灵奖获得者：查尔斯•霍尔（C. Anthony R. Hoare）

Prof, Oxford(now at Microsoft)

—— 从QUICKSORT、CASE到程序设计语言的公理化

16．1981年图灵奖获得者：埃德加•科德（Edgar F. Codd）

PhD, Michigan; staff, IBM

—— “关系数据库之父”

17．1982年图灵奖获得者：斯蒂芬•库克（Steven A. Cook）

PhD, Harvard; Prof, U Toronto

—— NP完全性理论的奠基人

18．1983年图灵奖获得者：肯尼思•汤普森和丹尼斯•里奇

Ken Thompson --- MS, Berkeley; staff, Bell-Labs

Dennis M. Ritchie --- PhD, Harvard; staff, Bell-Labs

—— C和UNIX的发明者

19．1984年图灵奖获得者：尼克劳斯•沃思（Niklaus Wirth）

PhD, Berkeley; Prof, ETH Zurich

—— PASCAL之父及结构化程序设计的首创者

20．1985年图灵奖获得者：理查德•卡普（Richard M. Karp）

PhD, Harvard; Prof, Berkeley

—— 发明“分枝限界法”的三栖学者

21．1986年图灵奖获得者：约翰•霍普克洛夫特和罗伯特•陶尔扬

John E. Hopcroft --- PhD, Stanford; Prof, Cornell

Robert E. Tarjan --- PhD, Stanford; Prof, Princeton

—— 硕果累累的算法设计大师

22．1987年图灵奖获得者：约翰•科克（John Cocke）

staff, IBM

—— RISC概念的首创者

23．1988年图灵奖获得者：伊万•萨瑟兰（Ivan E. Sutherland）

IPhD, MIT; staff, Sun

—— 计算机图形学之父

24．1989年图灵奖获得者：威廉•卡亨（William V. Kahan）

PhD, U Toronto; Prof, Berkeley

—— 浮点计算的先驱

25．1991年图灵奖获得者：罗宾•米尔纳（Robin Milner）

Prof, Cambridge (was at U Edinburgh)

PhD, MIT; Prof, MIT

—— 标准元语言ML的开发者

26．1992年图灵奖获得者：巴特勒•兰普森（Butler Lampson）

PhD, Berkeley; staff, Microsoft

—— 从Alto系统的首席科学家到微软的首席技术官

27．1993年图灵奖获得者：尤里斯•哈特马尼斯和理查德•斯特恩斯

PhD, Caltech; Prof, Cornell

Richard E. Stearns --- PhD, Princeton; Prof, SUNY Albany

—— 计算复杂性理论的主要奠基人

28．1994年图灵奖获得者：爱德华•费根鲍姆和劳伊•雷迪

Raj Reddy --- PhD, Stanford; Prof, CMU

Edward Feigenbaum (PhD, CMU; Prof, Stanford)

—— 大型人工智能系统的开拓者

29．1995年图灵奖获得者：曼纽尔•布卢姆（ Manuel Blum）

PhD, MIT; Prof, Berkeley

—— 计算复杂性理论的主要奠基人之一

30．1996年图灵奖获得者：阿米尔•伯努利（Amir Pnueli）

PhD, Weizmann Institute; Prof, NYU

—— 把时态逻辑引入计算机科学

31．1997年图灵奖获得者：道格拉斯•恩格尔巴特（Douglas Engelbart）

PhD, Berkeley; staff, SRI

—— 鼠标器的发明人和超文本研究的先驱

32．1998年图灵奖获得者：詹姆斯•格雷（James Gray）

PhD, Berkeley; staff, Microsoft

—— 数据库技术和“事务处理”专家

33．1999年图灵奖获得者：弗雷德里克•布鲁克斯（Frederick P. Brooks, Jr.）

PhD, Harvard; Prof, UNC

—— IBM 360系列计算机的总设计师和总指挥

34．2000年图灵奖获得者：姚期智（Andrew Chi-Chih Yao）

PhD, UIUC; Prof, Princeton (now at 清华)

—— 对计算理论做出了诸多“根本性的、意义重大的”贡献

图灵奖自创立以来获得该奖项的首位华裔学者

35．2001年图灵奖获得者：

Ole-Johan Dahl

Kristen Nygaard --- Profs, U Oslo

—— 在设计编程语言SIMULA I 和SIMULA 67时产生的基础性想法是面向对象技术的肇始。

36．2002年图灵奖获得者：

Ronald L. Rivest --- PhD, Stanford; MIT

Adi Shamir --- PhD, Weizmann; Weizmann

Leonard M. Adelman --- PhD, Berkeley; USC

—— 在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡产业中被广泛使用的安全基本机制)。

37．2003年图灵奖获得者：Alan Kay

PhD, Utah; HP Labs (was at Xerox PARC)

—— 发明第一个完全面向对象的动态计算机程序设计语言Smalltalk.

38．2004年图灵奖获得者：Vinton G. Cerf和Robert E. Kahn

—— 在计算机网络领域的先锋性工作,包括设计和实现了TCP/IP协议栈

39.2005年图灵奖获得者：彼得·诺尔 en:Peter Naur Algol 60语言

——设计Algol 60语言上的贡献

40.2006年图灵奖获得者： 法兰西斯·艾伦 （en:Frances E. Allen ）

—— 优化编译器

41.2007年图灵奖获得者：爱德蒙·克拉克 艾伦·爱默生 约瑟夫·斯发基斯 （Edmund M. Clarke en:Allen Emerson en:Joseph Sifakis ）

——开发自动化方法检测计算机硬件和软件中的设计错误

42.2008年图灵奖获得者：芭芭拉"利斯科夫(Barbara Liskov）

——让计算机软件更加可靠、安全和更具一致性