同济大学计算机基础教研室

1、本文内容：1. 图灵生平2. 图灵奖简介3. 历届图灵获得者1图灵生平阿兰 .图灵( Alan Turing ) 1912 年生于英国伦敦， 1954 年死于英国的曼彻斯特，他是计 算机逻辑的奠基者， 许多人工智能的重要方法也源自于这位伟大的科学家。 他对计算机的重 要贡献在于他提出的有限状态自动机也就是图灵机的概念， 对于人工智能， 它提出了重要的 衡量标准 "图灵测试 "，如果有机器能够通过图灵测试，那他就是一个完全意义上的智能机， 和人没有区别了。 他杰出的贡献使他成为计算机界的第一人， 现在人们为了纪念这位伟大的 科学家将计算机界的最高奖定名为 "图灵奖

2、" 。一个复杂的工 在当时他能够具有这样的思想确实是 而困难的部分则是如何确定最简单的 还有一个难点是如何将复杂问题分解 他运用他的专业技能破译德国密码，在中学时，他在科学方面的才能就已经显示出来，这种才能仅仅限于非文科的学科上， 他的导师希望这位聪明的孩子也能够在历史和文学上有所成就， 但是都没有太大的建树。 少 年图灵感兴趣的是数学等学科。 在加拿大他开始了他的职业数学生涯， 在大学期间这位学生 似乎对前人现成的理论并不感兴趣， 什么东西都要自己来一次。 大学毕业后， 他前往美国普 林斯顿大学也正是在那里， 他制造出了以后称之为图灵机的东西。 图灵机被公认为现代计算 机的原型，这

3、台机器可以读入一系列的零和一， 这些数字代表了解决某一问题所需要的步骤， 按这个步骤走下去， 就可以解决某一特定的问题。 这种观念在当时是具有革命性意义的， 因 为即使在 50 年代的时候，大部分的计算机还只能解决某一特定问题，不是通用的，而图灵 机从理论上却是通用机。 在图灵看来， 这台机器只用保留一些最简单的指令， 作只用把它分解为这几个最简单的操作就可以实现了， 很了不起的。 他相信有一个算法可以解决大部分问题， 指令集， 怎么样的指令集才是最少的， 而且又能顶用， 为这些指令的问题。 二战时， 图灵在英国通信部工作，这在当时十分不容易，因为德国人开发出一种用于计算的机器称为En igm

4、a，它能够定期将密码改变， 让破译者根本摸不到头绪。 在通信部工作的时候， 图灵和同事们一起使用一台称 为 COLOSSUS 的设备破译德国的密码， COLOSSUS 干得相当不错， COLOSSUS 虽然是用 马达和金属做的，与现在的数字式计算机根本不是一回事，但它是现代计算机重要的一步。 二战后， 图灵需要找一种放松自己的方法， 于是他选择了长跑， 他选择的一般都是他善长的。 下图就是 Enigma 的照片。此后图灵在国家物理学实验室(NPL)工作，并继续为数字式计算机努力，在那里人发 明了自动计算机( Automatic Computing Engine ， ACE )，在这一时期他开始

5、探索计算机与自 然的关系。他写了一篇名为智能机的文章于 1969 发表，这时便开始有了人工智能的雏 形。图灵相信机器可以模拟人的智力， 他也深知让人们接受这一想法的困难， 今天仍然有许 多人认为人的大脑是不可能用机器模仿的。 而在图灵认为， 这样的机器一定是存在的。 图灵 经常和其它科学家发生争论， 争论的问题就是机器实现人类智能的问题， 在今天我们看来这 没有什么， 但是在当时这可不太容易被人接受。 他经常问他的同事， 你们能不能找到一个计 算机不能回答的问题， 当时计算机处理多选问题已经可以了， 可是对于文章的处理还根本不 可能，但今天的发展证明了图灵的远见，今天的计算机已经可以读写一些简

6、单的文章了。图灵相信如果模拟人类大脑的思维就可以做出一台可以思考的机器，它于1950 写文章提出了著名的 " 图灵测试 "，测试是让人类考官通过键盘向一个人和一个机器发问，这个考官图灵离开了 NPL ， Digital Machine ， 图灵开始创立算不知道他现在问的是人还是机器。 如果在经过一定时间的提问以后， 这位人类考官不能确定 谁是人谁是机器， 那这个机器就有智力了。 这个测试在我们想起来十分简单， 可是伟大的思 想就源于这种简单的事物之中。 现在已经有软件可以通过图灵测试的子测试，软件这个人 类智慧的机器反映应该可以解决一些人类智力的问题。 在完成 ACE 之前

7、， 它在曼彻斯特大学开发曼彻斯特自动计算机（ Manchester Automatic MADAM ）。他相信在 2000 年前一定可以制造出可以模拟人类智力的机器， 法，并使用 MADAM 继续他的工作。图灵对生物也十分感兴趣， 他希望了解生物的各个器官为什么是这个样子而不是那个样 子，他不相信达尔文的进化论， 他觉得生物的发展与进化没什么关系。 对于生物学，他也用 它钟爱的数学进行研究， 它的研究对他进行计算机的研究有促进作用。 它把生物的变化也看 做是一种程序，也就是图灵机的基本概念，按程序进行。最后，这位伟大的计算机先驱于 1954 年 6月 7 日去世，他终生未娶。图灵英年早逝。在他

8、 42 年的人生历程中，他的创造力是丰富多彩的，他是天才的数 学家和计算机理论专家。他 24 岁提出图灵机理论， 31 岁参与 COLOSSUS 的研制， 33岁设 想仿真系统， 35 岁提出自动程序设计概念， 38 岁设计 "图灵测验 "。这一朵朵灵感浪花无不 闪耀着他在计算机发展史上的预见性。阿兰-图灵本人，被人们推崇为人工智能之父，在计算机业十倍速变化的历史画卷中永远占有一席之地。 他的惊世才华和盛年夭折， 也给他的个 人生活涂上了谜一样的传奇色彩。1936 年，年仅 24岁的英国人图灵发表了著名的论应用于决定问题的可计算数字一 文，提出思考实验原理计算机概念。 图灵

9、把人在计算时所做的工作分解成简单的动作， 与人 的计算类似， 机器需要：（ 1）存储器， 用于贮存计算结果； （ 2）一种语言， 表示运算和数字； （3）扫描；（4）计算意向，即在计算过程中下一步打算做什么；（ 5）执行下一步计算。具体到一步计算，则分成： （ 1）改变数字可符号； （2）扫描区改变，如往左进位和往右添位等； （3）改变计算意向等。图灵还采用了二进位制。这样，他就把人的工作机械化了。这种理 想中的机器被称为 "图灵机"。图灵机是一种抽象计算模型，用来精确定义可计算函数。图灵 机由一个控制器， 一条可以无限延伸的带子和一个在带子上左右移动的读写头组成。这个概念

10、如此简单的机器， 理论上却可以计算任何直观可计算函数。 图灵在设计了上述模型后提出， 凡可计算的函数都可用这样的机器来实现， 这就是著名的图灵论题。 现在图灵论题已被当成 公理一样在使用着，它不仅是数学的基础之一。半个世纪以来，数学家提出的各种各样的计算模型都被证明是和图灵机等价的。1945年，图灵到英国国家物理研究所工作，并开始设计自动计算机。1950 年，图灵发表了题为计算机能思考吗？的论文，给人工智能下了一个定义，而且论证了人工智能的可能性。1951 年，他被选为英国皇家学会会员。2图灵奖简介图灵奖最早设立于 1966 年，是美国计算机协会在计算机技术方面所授予的最高奖项， 被喻为计算机

11、界的诺贝尔奖。它是以英国数学天才Alan Turing 先生的名字命名的， AlanTuring 先生对早期计算的理论和实践做出了突出的贡献。 图灵奖主要授予在计算机技术领域 做出突出贡献的个人。而这些贡献必须对计算机业有长远而重要的影响。迄今为止已有34位在计算机领域做出突出贡献的科学家获此殊荣。 1966年， A. J. Perlis 因其在新一代编程技 术和编译架构方面的贡献成为图灵奖的第一个得主。200 到每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份500 字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将 组成评选委员会对被提名者进行

12、严格的审核，并最终确定当年的获奖者。3历届图灵奖获得者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, Naval Postgraduate School (w

13、as at Bell) (deceased) 发明纠错码的大数学家和信息学专家41969年图灵奖获得者：马文？明斯基(Marvin Minsky )PhD, Princeton, Prof, MIT “人工智能之父”和框架理论的创立者51970年图灵奖获得者：詹姆斯？威尔金森(J.H. Wilkinson )BS, Cambridge; staff, National Physical Laboratory, London 数值分析专家和研制 ACE 计算机的功臣61971 年图灵奖获得者：约翰 ?麦卡锡 ( John McCarthy)PhD, Princeton; Prof, Stanfo

14、rd “人工智能之父”和 LISP 语言的发明人71972年图灵奖获得者：埃德斯加？狄克斯特拉(Edsger W. Dijkstra)PhD, U Amsterdam; Prof, UT Austin 最先察觉“ goto 有害”的计算机科学大师81973年图灵奖获得者：查尔斯?巴赫曼 (Charles W. Bachman)staff, Honeywell “网状数据库之父”91974年图灵奖获得者：唐纳德？克努(Donald E. Knuth )PhD, Caltech; Prof, Stanford 经典巨著计算机程序设计的艺术的年轻作者10. 1975 年图灵奖获得者：赫伯特?西蒙和艾

15、伦 ?纽厄尔Allen Newell - PhD, Stanford; Prof, CMU (deceased)Herbert A. Simon - PhD, Chicago; Prof, CMU (deceased) 人工智能符号主义学派的创始人11. 1976 年图灵奖获得者：米凯尔?拉宾和达纳 ?斯科特Michael O. Rabin - PhD, Princeton; Prof, HarvardDana S. Scott - PhD, Princeton; Prof, CMU 非确定性有限状态自动机理论的开创者12. 1977年图灵奖获得者：约翰 ？巴克斯(John Backus)BS

16、, 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)CASE 到程序设计语言的公理化 从 QUICKSORT 、16. 1981 年图灵奖获

17、得者：埃德加?科德( 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年图灵奖获得者：

18、尼克劳斯？沃思(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 硕果累累的算法设

19、计大师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,

20、 MIT 标准元语言 ML 的开发者26. 1992年图灵奖获得者：巴特勒 ？兰普森(Butler Lampson )PhD, Berkeley; staff, Microsoft 从 Alto 系统的首席科学家到微软的首席技术官27. 1993年图灵奖获得者：尤里斯 ?哈特马尼斯和理查德 ?斯特恩斯 PhD, Caltech; Prof, CornellRichard E. Stearns - PhD, P rinceton; Prof, SUNY Albany 计算复杂性理论的主要奠基人28. 1994年图灵奖获得者：爱德华 ？费根鲍姆和劳伊？雷迪Raj Reddy - PhD, Stan

21、ford; Prof, CMUEdward Feigenbaum (P hD, CMU; Prof, Stanford) 大型人工智能系统的开拓者29. 1995年图灵奖获得者：曼纽尔 ？布卢姆(Manuel Blum )PhD, MIT; P rof, Berkeley计算复杂性理论的主要奠基人之一30. 1996年图灵奖获得者：阿米尔？伯努利(Amir Pnueli )PhD, Weizmann Institute; Prof, NYU 把时态逻辑引入计算机科学31. 1997年图灵奖获得者：道格拉斯？恩格尔巴特(Douglas Engelbart)PhD, Berkeley; staff

22、, SRI 鼠标器的发明人和超文本研究的先驱32. 1998年图灵奖获得者：詹姆斯 ？格雷James Gray)PhD, Berkeley; staff, Microsoft 数据库技术和“事务处理”专家33. 1999年图灵奖获得者：弗雷德里克？布鲁克斯(Frederick P. Brooks, Jr.)PhD, Harvard; Prof, UNC34. 2000年图灵奖获得者：姚期智( Andrew Chi-Chih Yao )IBM 360系列计算机的总设计师和总指挥PhD, UIUC; Prof, P rinceton (now at 清华) 对计算理论做出了诸多“根本性的、意义重大

23、的”贡献图灵奖自创立以来获得该奖项的首位华裔学者35. 2001年图灵奖获得者:Ole-Johan DahlKristen Nygaard - Profs, U Oslo 在设计编程语言 SIMULA I和SIMULA 67时产生的基础性想法是面向对象技术的肇始。36. 2002年图灵奖获得者:Ronald L. Rivest - PhD, Stanford; MITAdi Shamir - P hD, Weizmann; WeizmannLeonard M. Adelman - PhD, Berkeley; USC 在公共密匙算法上所做的杰出贡献(RSA算法是当前在互联网传输、银行以及信用卡

24、产业中被广泛使用的安全基本机制)。37. 2003年图灵奖获得者：Alan KaySmalltalk.PhD, Utah; HP Labs (was at Xerox P ARC) 发明第一个完全面向对象的动态计算机程序设计语言38. 2004 年图灵奖获得者：Vinton G. Cerf 和 Robert E. Kahn 在计算机网络领域的先锋性工作，包括设计和实现了 TCP/IP协议栈2005图灵奖中文名:英文名:籍贯性别国籍出生年月:所处时代:职业:彼得?诺尔P eter Naur丹麦丹麦1928年10月25日现代科学1963年获得了丹麦技术大学颁发的成就:GAHagemann金奖，19

25、66年丹麦电 台的 Jens Rosejaer 奖，以及 1986 年的电学和电子工程师学会颁发的 计算机先驱奖。ACM各于2006年5 月20日在加州的旧金山 WestinACMFrancis饭店举行的每年一度的颁奖宴会上颁发图灵奖。代表作品:计算一一人类的重要活动；辑和规则的奥妙逻其他信息:1959年，Naur加盟丹麦第一个计算 机公司-Regnecentralen 。并且领导 了 Algol 60 语言的定义。1969年，Naur成为哥本哈根大学的教授，直 到1998年退休。彼得诺尔Peter Naur，出生于1928年10月25日于丹麦。Naur 于 1949 年从 Copenhage

26、n Unviersity（哥本哈根大学）获得其天文学方面的Magisterof Scienee学位（类似于硕士学位），1957年完成了其天文学的博士学位。在1950年和1951年其间，Naur在英国剑桥大学研读天文学。其间，Naur的工作用到了计算机（EDSAC世界上第一台使用存储装置的电子计算机）。1959年，Naur加盟丹麦第一个计算机公司-Regnecentralen。并且领导了Algol 60语言的定义。1969年，Naur成为哥本哈根大学的教授，直到1998年退休。级编程语言Fortan的发明者。除了早期有关 ALGOL和DASK的一些文章和专著外，诺尔近期 还出版了以下两部重要著作

27、：计算人类的重要活动Naur也是著名的编程语言归约BNF范式中的 N.B是John W. Backus。Backus是第一个高(Computing ： a Human Activ ity , Addi . son - Wesley, 1992)。逻辑和规则的奥妙(Knowing and Mystique of Logic and Rules ， Kluwer Academic Pr.， 1995) 1986年计算机先驱奖获得者彼得- 诺尔(Peter Naur)这个名字对于从事 计算机科学技术的 人来说是不陌生的，因为大家常用的描写高级语言语法的元语言 BNF的全称是“巴克斯一诺 尔范式”，这

28、个范式是由巴克斯首创，但经诺尔改进而成的。但大家未见得知道，诺尔原本 是天文学家 ，“阴差阳错” 地走进了计算机领域并成为对计算机技术的发展起了重大作用的 科学家 。诺尔 1928年 9 月生于丹麦首都 哥本哈根 近郊的弗雷德里克斯伯格 (Frederiksberg) ， 1949 年在哥本哈根大学取得天文学硕士学位。19501951年，他在英国剑桥大学进修期间，用过由威尔克斯主持研制的世界上第一台存储程序式数字计算机机和在计算机上编程的知识。但他的主要兴趣仍在天文学方面。EDSAC学到了不少有关计算 19521953年他在芝加哥由于天文学研究中有大量计算，1953 年回到丹麦以大学的Yerk

29、es天文台和McDonald天文台当助理研究员期间，曾到 IBM 公司的沃森研究中心进修，这使他获得了更多的计算机知识。 后，他到哥本哈根天文台工作。 由于开展天文研究的需要， 他受命设计了丹麦的第一台计算1957 年取得哥本哈根大学天文学博士学1960 年 1 月 11机DASK同时也完成了他天文学研究的博士论文, 位。ALGOL 58 报告公布以后，受到广泛关注，但它的不足和缺点也受到批评。日，在IBM(欧洲)的财政支持下，举行了一次重要的会议，对ALGOL 58进行修改。诺尔不BNF。但参加了这个会议，成为新的ALGOL即 ALGOL 60)文本的执笔人，而且对巴克斯提出的描述语言语法的

30、方案进行了仔细审阅和修改，使之完善，从而诞生了1961年，诺尔在由他设计的 DASK上实现了 ALGOL这是世界上首批 ALGOL实现中的一个。虽然参与了这么多活动， 做了这么多工作， 也做出了这么大贡献， 但诺尔在这段时间里仍主 要关心天文学，计算机只是由于研究天文学的需要而介入的，直到约1964 年左右，诺尔对计算与数据处理的兴趣才超出对天文学的兴趣而占了上风。1966 年，他发明了一个新的单词 datalogy 。丹麦的计算机学会的正式名称就叫 Danish Society of Datalogy ，他 是这个学会的第一任主席。 1969年，他说服哥本哈根大学建立起了计算机专业，他又是该

31、 校的第一位计算机 教授。1963 年授予他 C AHage鉴于诺尔在数据处理技术方面为国家所作出的贡献，丹麦政府在manns金质奖章，1966年又授予他 Rosenhjaer奖。IEEE则因他"对计算机语言开发”(For computer language development) 所作出的贡献授予他计算机先驱奖。除了早期有关ALGOL和DASK勺一些文章和专著外，诺尔近期还出版了以下两部重要著作:计算人类的重要活动 (Computing : a Human Activity ， AddisonWesley ，1992)逻辑和规则的奥妙 (Knowing and Mystique

32、of Logic and Rules，Kluwer Academic Pr， 1995)Algol 60 引发语言设计革命编辑本段回目录Peter Naur纽约时报报道，2006年3月1日，国际计算机协会(ACM)宣布彼得.诺尔为 图灵奖的获得者。 这个奖项是由于诺尔在定义 Algol 60这种程序设计语言方面的先驱性工 作而颁发给他的。 Algol 60 是许多后来的程序设计语言， 程工具的原型。图灵奖，被认为是“计算科学界的诺贝尔奖”2005 年 A.M.包括今天那些必不可少勺软件工，于1966 年首次颁发，是以100， 000 美元，由英特尔公司提供英国数学家图灵 (Alan M.Tur

33、ing) 命名勺。奖金额度为 赞助。诺尔博士在 1960 年是具有极高影响勺主编。这份报告勺优雅、一致和连贯使他声名鹊起， 并被认为是创造了这种算法语言勺强大功能和简易性勺重要贡献者。 这份报告先驱性地使用了 BNF范式(Bcakus-Naur-Form)用以定义程序设计语言的语法。BNF现在是定义一种计算机语言勺标准方式。 诺尔还因为他对于编译设计勺贡献、 以及在计算机程序设计方面勺技巧与 实践而受到表彰。“诺尔博士的 Algol 60 体现了算法表达中的优雅和简明的概念， ”英特尔高级研究员和首 席技术主管查斯廷 .拉纳 (Justin Rattner) 说，“多年以来， 计算机语言已经被

34、各种特性和 功能所充斥， 这使得计算机越来越难学习， 效力越来越低。 未来的语言设计者正面临着今天 在程序设计方面的最大挑战，如通用目的、多线程计算等。这个奖项应该鼓励他们达到与lgol 60同样优雅和简明的水平，而这正是 Algol 60的特点。”2006图灵奖中文名：法兰西斯艾伦英文名：Frances E. Allen性别：女国籍：美国出生年月：1933 年所处时代：现代职业：科学计算机科学家毕业院校：美国纽约州立大学奥尔巴尼分校成就：主要包括编译器的基本原理、 化和并行编译等。代码优法兰艾伦 (Frances E. Allen ,1933年)是一位计算机科学家，作为一名编译器优化领域的先

35、驱，她的成就主要包括编译器的基本原理、代码优化和并行编译等。Fran ces Alle n1954年，艾伦毕业于美国 纽约州立大学奥尔巴尼分校，并获得学士学位。她在1980年代早期创立了并行 翻译(Parallel TRANslation , PTRAN研究组，致力于研究并行计算机的编译问题。该小组的工作在编译器的并行化方面处于世界领先的位置。她在这 些项目中的工作促成了许多目前广泛应用于商业编译器中的程序优化算法和技术。艾伦在IBM业界有广泛影响，并于 1989年成为第一位女性IBM Fellow。她也是IBM技术研 究院(IBM Academy of Technology )的主席。199

36、7年，艾伦被选入 WITI名人堂。艾伦于2002年从IBM退休。2007年2月，艾伦成为第一位获得 图灵奖的女性。Fran Allen 是 IBM终生院士( IBM Fellow Emerita )，就职于 T. J. Watson 研究工作实验 室(T. J. Watson Research Laboratory )，专门从事编译器和高性能计算机的程序优化工 作。这一工作使她赢得了2006年美国计算机协会(ACM的图灵奖的荣誉，表彰她“在优化编译器技术的理论和实践领域做出了先驱性贡献，奠定了现代优化编译器和自动并行执行技术的基础”。(CISE)以及美国国家研她是美国哲学会和国家 工程师 学会

37、会员， 以及美国艺术与科学研究院、 美国计算机协会、 电 气电子工程师协会和计算机历史博物馆的院士。她同时还是多个美国国家技术委员会的成 员，如美国国家科学基金会下属的计算机和信息科学与工程委员会究委员会下属的计算机科学与电信委员会(CSTB。她获得的奖项和荣誉包括：阿尔伯塔大学( University of Alberta )的荣誉 博士 (1991 年)、佩斯大学( Pace University )的 荣誉博士( 1999 年)和位于 Urbana 的伊利诺伊大学( University of Illinois)的荣誉博士( 2004 年)。1983 年她曾作为Fran 还是女性从事计算

38、、环保和探险等方面工作的积极的导师和倡导者。中美联合西部登山探险队的队员，第三次到访中国2006年的图灵奖于 07年2月21日给了 75岁的IBM终生院士 (IBM Fellow Emerita) , Frances E. Allen 。ACM的官方声明说 Frances因为在编译器优化的理论和实践方面做出的开创性贡献而获奖。她的工作奠定了现代优化编译器和自动并行化执行的基础。Frances是该奖项创立40年来的第一位女性得主。同时，她也是IBM历史上第一位女院士。Frances 本想当一名光荣的人民教师，于是就读阿尔班尼州立师范( Albany State Teacher 学位。临近毕业，她

39、需要钱偿还学生贷款，在's College )，又在密歇根大学拿了数学硕士1957年加盟 IBM Watson 研究中心。于是 20IBM Fellow是IBM的最高技术职位。当年07年 2月，图灵奖历史上第一位女英雄诞生。2007图灵奖背景知识：模型检查模型检查（Model-Checking，也译为模型检验，仿真术语里称为模型校验）本质上是用严密 的数学方法来验证设计是否满足预设的需求，从而自动化地发现设计中的错误。按Wikip edia的定义，它是一种检查某一给定模型是否满足某一逻辑规则的方法。其中一种重要的方法，就是通过算法来验证形式化系统，具体方法是验证由硬件或者软件设计导出的

40、模 型是否满足通常用模态逻辑规则表示的形式化规范。在硬件业，包括半导体业和嵌入式系统中，模型检查已经成为一项非常关键的主流技术。知道，在硬件行业，如果设计有问题，一旦投产，损失就太大了。正因为这样，图灵奖赞助此外，在通信协议、安全算法方之一 In tel对三位获奖者的祝贺可以说是充满了感激之情。的设计方面，模型检查也发挥了关键作用。但是，软件业对模型检查的重视似乎很不够。一线的软件开发人员可能都对它比较陌生, 觉比较学院化。当然，由于存在可计算性导致的缺陷，以及软件本身的复杂性，模型检查是不可能完全解决软件设计中的bug的。但是，软件业对这种方法的忽视，是否也是软件总体 质量不如硬件，或者说低

41、级错误更多的一个原因呢?获奖者 1: Edmund M. ClarkeClarke是卡耐基梅隆大学（CMU的教授，曾任Formal Methodsin Systems Desig n杂志主编。曾任荣获 2004年IEEE HarryM. Goode纪念奖。ACM和IEEE计算机学会会士， 2005年当选美国工程院院士。本科毕业于弗吉尼亚大学，硕士在杜克大学，均为数学专业,然后在康奈尔大学获得计算机博士学位。曾任教杜克大学和哈佛大学。他在CMU勺模型检查课程。主要教材是:Logic in Computer Science: Modeling and reasoning about systems

42、Michael R A Huth and Mark D RyanCambridge Uni versity PressModel Check ingEdm und M. Clarke, Orn aGrumberg, and DoronP eledMIT P ress获奖者 2: E. Allen EmersonEmerson是得克萨斯大学奥斯汀分校教授，曾任ACMTran sacti ons on Compu tati onal Logic, Formal Asp ects ofCompu ti ng, 禾 R Formal Methods in Systems Desig n等杂志的编委。他

43、拥有得克萨斯大学奥斯汀分校数学学士和硕士学位，哈佛大学应用数学博士。他的主页透露，自己之所以走上形式化验证的道路，是受了Hoare 的一篇 CACM论文"Proof of Program: Find" 的启发。他位居CiteSeer引用次数最多的前1%十算机科学家之列。获奖者3: Jose ph SifakisSifakis是位于法国Grenoble的顶尖嵌入式系统研究中心1970年代中期图灵奖得主 TonyAVerimag实验室的创始人。现在是法国国家科学研究中心(Ce ntre Natio nal de la RechercheScie ntifique )的研究总的负

44、责人。监和 CARNOT Institute on Intelligent Software and Systems in Grenoble他在雅典技术大学获得电机工程学位，在Grenoble大学获得计算机科学博士学位。背景关于模型检查的最初论文，是1981年由Clarke和Emerson在哈佛大学，Sifakis 和J.P.Queille 在法国，各自独立完成 1982年，Clarke还实现了第一个模型检查程序。但由于状态爆炸问题，最初的模型检查只能应用于很小规模的设计，从而无法走出学院。1987 年，Clarke 的博士生 Kenneth McMillan 发现，在另一位 CMl教授 Ra

45、ndal E. Bryant运用二叉决策图(BDD binary decision diagram )表示符号信息的工作基础上，可以发明 一种新的模型检查实现方法，也就是所谓符号模型检查(Symbolic Model Check ing )，将突破该方法的复杂度限制，从而广泛开始应用于工业界，尤其是半导体制造业。为此，Bryant,奖。Clarke, Emerson 和 McMillan 获得了 1998 年 ACM Paris Kanellakis而Sifakis 则与Thomas A. Henzinger、Sergio Yovine 将模型检查方法应用于实时系统的验证。2008图灵芭芭拉利

46、斯科夫芭芭拉利斯科夫(Barbara Liskov , 1939年)，本名 Barbara Jane Huberman。美国计算机科学家，2008年图灵奖得主，2004年约翰-冯诺依曼奖得主。美国工程院院士，美国艺术与科学院 院士，美国计算机协会 会士。现任麻省理工学院 电子电气与计算机科学系 教授。1961年在加州大学伯克利分校 是美国第一个计算机科学女博士。 际象棋残局程序。获得数学学士学位。1968年在斯坦福大学 获得博士学位，她 导师为 1971年图灵奖得主 约翰麦卡锡，论文题目是国利斯科夫领导了许多重要的项目，持数据抽象的面向对象编程语言CLU的设计与实现，第一个支持分布式程序实现的

47、高级语言 Argus，面向对象数据库系统 Thor，还有最近的Byzantine分布式容错系统。其中，CLU语言对现代主流语言如 C+/Java/ Pytho n/Ruby/C#都有比较深远的影响。而她从这些实际项目 中提炼出来的数据抽象思想，已经成为软件工程中最重要的精髓之一。包括小型低成本交互式的分时操作系统Ven us，第一个支她另外一个在程序设计中有广泛应用的成就，是与周以真(Jeannette Wing ) 起提出的Liskov代换原则，是面向对象最重要的几大原则之一。著作Program Development in Java , Addison-Wesley, 2001利斯科夫19

48、68年从麻省理工学院 获得计算机科学博士学位 ，是美国历史 上第一位女性 计算机博士 .她也成为历史上第二位获得图灵奖的女性 .从1972年以来，利斯科夫一直 担任麻省理工学院教授 .2009图灵现代个人计算机之父-记2009年图灵奖得主 Chuck Thacker在听到他得到图灵奖后非常高兴。 一个真正能够认识到它的潜能的人。-比尔盖茨Chuck Thacker 其人"就对计算机科学的贡献而言，我想不出有谁能够抵得上Chuck Thacker,这使得我人们现在往往把个人电脑作理所应当，而Chuck则是也是世界是第一台激光打印机发明者之一。他是加州大因为发明了世界上第一部上网计算机，

49、Chuck Thacker。Chuck Thacker 自小立志成他是以太局域网的发明者之一， 学计算机大学的校友，也是瑞士联邦大学的荣誉博士， 他于2004年获得美国颁发的德雷珀奖，他就是 为工程师，因此他从小学习就很努力，总尝试以不同的角度去观察事物。青年时期，Chuck博览群书，大量的阅读帮助他认识到哪种技术将会成为发展趋势，他深深体会到，新事物总是从旧事物中发展而来的。2009年，图灵奖颁发给 Charles Thacker，以表彰他对第一台现代个人计算机一一施乐 帕克（Xerox PARC） Alto的先驱性设计，以及在局域网（包括以太网）、多处理器工作站、窥探高速缓存一致性协议和平

50、板PC等方面的杰出成就与贡献。因此，Thacker也成为继 Tony Hoare（1980年获奖）， ButlerLamp son （1992 年获奖）和已逝的 JimGray （1998年获奖）之后，微软研究院第四位获得这一最 高荣誉的研究者，他的名字被刻写在光华夺目的图灵碗上。美国计算机协会（ACM主席DameWendyHall在致辞中说 道，“ Charles Thacker是计算机系统领域最杰出的工程师 之一，他的一个又一个成就对现代计算机技术产生了深远 影响”。同时，比尔盖茨也因此写下了开头那段文字。Rick Rashid这样对微软员工P rese nee of great ness

51、）。”在得知Chuck获得图灵奖的当天，微软全球高级副总裁 说：“我们现在在一位伟人身边（ We are in theChuck与微软Chuck的大部分职业生涯在三个知名研究机构度过，1971年他加入施乐帕克研究中心并在那里工作了 13年；1984年加入DEC也在那里工作了13年；1997年，他来到了微软，与Roger Needham等人共同建立了微软剑桥研究院，两年后返回美国并领导了微软平板PC原型的开发，之后又回到微软研究院，从事计算机体系架构方面的研究。而如今，又一个 13年已经来到，不过“ 13年离职”的规律似乎要被打破了。他对在微软的研究工作始终热 情不减：现在，他领导着微软硅谷研究

52、院的计算机架构研究组，并致力于能够实现多核计算实验的现场可编程门阵（field-programmable gate arrays to enable multicore-computingexp erime ntation ）的研究，另外，他还对一个名 为“ Barrelfish ”的项目深感兴趣，该项目是微 软剑桥研究院和瑞士联邦技术学院的合作项目， 关注多核系统中的操作系统原理（op erati ng-system princip les sp ecifically for multicore systems ）。Chuck 寄语Charles Thacker这位图灵奖得主不仅在技术方面成

53、就斐然，而且是位极受尊敬的研究管理者。在微软研究院，他通常被人们昵称作Chuck。谈到对自己影响最大的人，Chuck说他经常受到同事们与合作者们的影响。这让他感到自己特别幸运。Chuck身边有许多非常优秀的同事，他们都对研究感兴趣，一个能够*很多志同道合的研究者的项目，成功的机会就很大，Chuck说。你知道对Chuck影响最大的人是谁么？Chuck曾经提到过这三位对他产生重大影响的人：Doug Engelbart （道格恩格尔巴特），他的想法对 Chuck的工作有及其深远的影响。 享有“计算机图形学之父”美誉的Ivan Sutherla nd算机之间的信息交互有重要贡献，以及Wesley Cl

54、ark的个人计算机LINC的发明者。作为一位在计算机界做出了重要的历史贡献的科学家，（伊凡苏泽兰特） （威斯利克拉克），他对简化人与计，这位世界上最早Chuck认为,像他们这样做基础 许多成果可能成为研究的人，是在幕后改变世界。 他们只是在研究室里做自己擅长的事情， 文明的一部分，但是许多人并不明白它们的出处。只有一些专业人员可能对计算机的发展历史感兴趣，对研究人员了解一些，但大多数人并不知道他们在做的事情。面对现今想要进入计算机研究领域的年轻人，Chuck有他自己的忧虑：一直以来，担心年轻人不想做科学研究，只是使用计算机。在他上学的时候，已经有了人造地球卫星， 这对进入工程领域以及科学界的人

55、来说是一个巨大的动力，即便这些学科更加困难。 今天并没有这样大的成果，我怀疑这是现在的年轻人不做研究的一个很重要的原因。情会让年轻人更有激情？”Chuck说，“我对年轻人去制造机器人抱有乐观的态度，器人最能激发年轻人的创造力。我年轻的时候，是一个业余无线电爱好者，他很“我们什么事因为机我利用Heathkit建立了自己的无线电站。在我看来，机器人技术就是21世纪的Heathkit，其中蕴含了许多机会。”而在自身多年的研究经历中，Chuck表示，以下几点是他最深的体会：第一，慎重的选择和自己一起工作的人， 要尽量得到他们的帮助使自己更加成功， 也要 尽量帮助他们获得成功； 第二，在生活的各个方面重视简单与优雅的品质；第三，仔细检讨自己的问题，特别是一些最基本的问题，小事总是会酿成大错。Chuck Thacker教授曽经裂加过2004年的“二十一世紀的计3P丸会.今