各章资源第1章图灵奖者

1、1.简介最早设立于 1966 年，是计算机在计算机技术方面所授予的最高奖项，被喻为计算机界的奖。它是以英国数学天才 Alan Turing 先生的名字命名的，Alan Turing 先生对早期计算的实践做出了突出的贡献。主要授予在计算机技术领域做出突出贡献的个人。而这些贡献必须对计算机业有长远而重要的影响。迄今为止已有 34 位在计算机领域做出突出贡献的科学家获此殊荣。1966 年，A. J. Perlis 因其在新一代编程技术和编译架构方面的贡献成为的第一个得主。每年，计算机候选人，并附加一份 200 到 500 字的文将要求提名人本年度的章，说明被提名者为什么应获此奖。任何人都可成为提名人

2、。计算机将组成评选对被提名者进行严格的审核，并最终确定当年的获奖者。2历届获得者11966 年获得者：（A. J. Perlis）PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)ALCOL 语言和计算机科学的“催生者”21967 年（Maurice V. Wilkes）获得者：PhD, Cambridge; Prof, Cambridge 世界上第一台程序式计算机 EDSAC 的研制者31968 年获得者：（Richard W. Hammin）Prof, Navaltgraduate School (was at Bell) (deceased

3、) 发明纠错码的大数学家和信息学41969 年获得者：（Marvky）PhD, Princeton, Prof, MIT “人工智能之父”和框架理论的创立者51970 年获得者：（J.H. Wilkon）BS, Cambridge; staff, National Physical Laboratory, London 数值分析和研制 ACE 计算机的功臣61971 年获得者：（John McCarthy）PhD, Princeton; Prof, Stanford“人工智能之父”和 LISP 语言的发明人71972 年（Edsger W. Dijkstra）获得者：斯加PhD, U Amst

4、erdam; Prof, UT Austin 最先察觉“goto 有害”的计算机科学大师81973 年获得者：曼 （Charles W. Baan）staff, Honeywell “网状数据库之父”91974 年获得者：（Donald E. Knuth）PhD, Caltech; Prof, Stanford 经典巨著计算机程序设计的艺术的年轻作者101975 年获得者：和纽Allen Newell - PhD, Stanford; Prof, CMU (deceased) Herbert A. Simon - PhD, Chicago; Prof, CMU (deceased) 人工智能符

5、号主义学派的创始人111976 年获得者：和Michael O. Rabin - PhD, Princeton; Prof, HarvardDana S. Scott - PhD, Princeton; Prof, CMU 非确定性有限状态自理论的开创者121977 年获得者：（John Backus）BS, Columbia; staff, IBMFORTRAN 和获得者：BNF 的发明者131978 年（Robert W. Floyd）BS, Chicago; Prof, Stanford前后断言法的创始人141979 年获得者：（Kenneth E. Iverson）大器晚成的科学家，A

6、PL 的发明人151980 年获得者：霍尔（C. Anthony R. Hoare）)Prof, Oxford(now at从QUICKSORT、CASE 到程序设计语言的公理化161981 年科德（Edgar F. Codd）获得者：PhD, Michigan; staff, IBM “关系数据库之父”171982 年获得者： （Steven A. Cook）PhD, Harvard; Prof, U Toronto NP 完全性理论的奠基人181983 年获得者：和Ken Thompson - MS, Berkeley; staff, Bell-Labs Dennis M. Ritchie

7、 - PhD, Harvard; staff, Bell-Labs C 和 UNIX 的发明者191984 年获得者：尼（Niklaus Wirth）PhD, Berkeley; Prof, ETH Zurich PASCAL 之父及结构化程序设计的首创者201985 年获得者：卡普（Richard M. Karp）PhD, Harvard; Prof, Berkeley 发明“分枝限界法”的三栖学者211986 年获得者：特和John E. Hopcroft - PhD, Stanford; Prof, CornellRobert E. Tarjan - PhD, Stanford; Pro

8、f, Princeton 硕果的算法设计大师221987 年staff, IBM获得者：（John Cocke） RISC 概念的首创者231988 年获得者：（Ivan E. Sutherland）IPhD, MIT; staff, Sun 计算机图形学之父24获得者：（William V. Kahan）PhD, U Toronto; Prof, Berkeley 浮点计算的先驱251991 年获得者：（Robilner）Prof, Cambridge (was at U Edinburgh) PhD, MIT; Prof, MIT 标准元语言 ML 的开发者261992 年获得者：（But

9、ler Lampson）PhD, Berkeley; staff, 从 Alto 系统的首席科学家到微软的首席技术官271993 年获得者：斯哈尼斯和斯PhD, Caltech; Prof, CornellRichard E. Stearns - PhD, Princeton; Prof, SUNY Albany 计算复杂性理论的主要奠基人281994 年获得者：和Raj Reddy - PhD, Stanford; Prof, CMU Edward Feigenbaum (PhD, CMU; Prof, Stanford) 大型人工智能系统的开拓者291995 年获得者：（ Manuel B

10、lum）PhD, MIT; Prof, Berkeley计算复杂性理论的主要奠基人之一301996 年（Amir Pnueli）获得者：PhD, Weizmanntitute; Prof, NYU把时态逻辑引入计算机科学311997 年（Douglas Engelbart）获得者：PhD, Berkeley; staff, SRI 鼠标器的发明人和超文本的先驱321998 年获得者：（James Gray）PhD, Berkeley; staff, 数据库技术和“事务处理”331999 年获得者：（Frederick P. Brooks, Jr.）PhD, Harvard; Prof, UNC

11、 IBM 360 系列计算机的和总指挥342000 年获得者：（Andrew Chi-Chih Yao）PhD, UIUC; Prof, Princeton (now at) 对计算理论做出了诸多“根本性的、意义自创立以来获得该奖项的首位华裔学者的”贡献352001 年获得者：Ole-Johan DahlKristen Nygaard - Profs, U Oslo在设计编程语言SIMULA I 和SIMULA 67 时产生的基础性想法是面象技术的肇始。362002 年获得者：Ronald L. Rivest - PhD, Stanford; MIT Adi Shamir - PhD, Wei

12、zmann; WeizmannLeonard M. Adelman - PhD, Berkeley; USC 在公共密匙算法上所做的杰出贡献(RSA 算法是当前在互联网传输、产业中被广泛使用的安全基本机制)。以及372003 年获得者：AlayPhD, Utah; HP Labs (was at Xerox PARC)象的动态计算机程序设计语言 Smalltalk.发明第一个完全面382004 年获得者：Von G. Cerf 和 Robert E. Kahn在计算机网络领域的先锋性工作,包括设计和实现了 TCP/IP 协议栈获得者：Peter Naur设计 Algol60 程序设计语言。Al

13、gol60 语言定义清晰，是许多现代程序设计语言的原型。392005 年402006 年获得者：Frlen 对于优化编译器技术的实践做出的先驱性贡献，这些技术为现代优化编译器和自动并行执行打下了基础。412007 年获得者：Edmund M.Clarke、Allen Emerson 和 Joseph Sifakis开发自动化方法检测计算机硬件和软件中的设计错误。422008 年获得者：Barbara Liskov编程语言和系统设计的实践与理论。432009 年获得者：Charlescker帮助设计、制造第一款现代 PC。442010 年获得者：LesValiant对众多计算理论所做的性的贡献。452011 年获得者：Jude人工智能arl462012 年获得者：Shafi Goldwasser、Sil