同濟大學計算機基礎教研室

1、本文內容：1. 圖靈生平2. 圖靈獎簡介3. 歷屆圖靈獲得者1圖靈生平阿蘭 .圖靈( Alan Turing ) 1912 年生于英國倫敦， 1954 年死于英國的曼徹斯特，他是計 算機邏輯的奠基者， 許多人工智能的重要方法也源自于這位偉大的科學家。 他對計算機的重 要貢獻在于他提出的有限狀態(tài)自動機也就是圖靈機的概念， 對于人工智能， 它提出了重要的 衡量標準 "圖靈測試 "，如果有機器能夠通過圖靈測試，那他就是一個完全意義上的智能機， 和人沒有區(qū)別了。 他杰出的貢獻使他成為計算機界的第一人， 現(xiàn)在人們?yōu)榱思o念這位偉大的 科學家將計算機界的最高獎定名為 "圖靈獎

2、" 。一個復雜的工 在當時他能夠具有這樣的思想確實是 而困難的部分則是如何確定最簡單的 還有一個難點是如何將復雜問題分解 他運用他的專業(yè)技能破譯德國密碼，在中學時，他在科學方面的才能就已經顯示出來，這種才能僅僅限于非文科的學科上， 他的導師希望這位聰明的孩子也能夠在歷史和文學上有所成就， 但是都沒有太大的建樹。 少 年圖靈感興趣的是數(shù)學等學科。 在加拿大他開始了他的職業(yè)數(shù)學生涯， 在大學期間這位學生 似乎對前人現(xiàn)成的理論并不感興趣， 什么東西都要自己來一次。 大學畢業(yè)后， 他前往美國普 林斯頓大學也正是在那里， 他制造出了以后稱之為圖靈機的東西。 圖靈機被公認為現(xiàn)代計算 機的原型，這

3、臺機器可以讀入一系列的零和一， 這些數(shù)字代表了解決某一問題所需要的步驟， 按這個步驟走下去， 就可以解決某一特定的問題。 這種觀念在當時是具有革命性意義的， 因 為即使在 50 年代的時候，大部分的計算機還只能解決某一特定問題，不是通用的，而圖靈 機從理論上卻是通用機。 在圖靈看來， 這臺機器只用保留一些最簡單的指令， 作只用把它分解為這幾個最簡單的操作就可以實現(xiàn)了， 很了不起的。 他相信有一個算法可以解決大部分問題， 指令集， 怎么樣的指令集才是最少的， 而且又能頂用， 為這些指令的問題。 二戰(zhàn)時， 圖靈在英國通信部工作，這在當時十分不容易，因為德國人開發(fā)出一種用于計算的機器稱為En igm

4、a，它能夠定期將密碼改變， 讓破譯者根本摸不到頭緒。 在通信部工作的時候， 圖靈和同事們一起使用一臺稱 為 COLOSSUS 的設備破譯德國的密碼， COLOSSUS 干得相當不錯， COLOSSUS 雖然是用 馬達和金屬做的，與現(xiàn)在的數(shù)字式計算機根本不是一回事，但它是現(xiàn)代計算機重要的一步。 二戰(zhàn)后， 圖靈需要找一種放松自己的方法， 于是他選擇了長跑， 他選擇的一般都是他善長的。 下圖就是 Enigma 的照片。此后圖靈在國家物理學實驗室(NPL)工作，并繼續(xù)為數(shù)字式計算機努力，在那里人發(fā) 明了自動計算機( Automatic Computing Engine ， ACE )，在這一時期他開始

5、探索計算機與自 然的關系。他寫了一篇名為智能機的文章于 1969 發(fā)表，這時便開始有了人工智能的雛 形。圖靈相信機器可以模擬人的智力， 他也深知讓人們接受這一想法的困難， 今天仍然有許 多人認為人的大腦是不可能用機器模仿的。 而在圖靈認為， 這樣的機器一定是存在的。 圖靈 經常和其它科學家發(fā)生爭論， 爭論的問題就是機器實現(xiàn)人類智能的問題， 在今天我們看來這 沒有什么， 但是在當時這可不太容易被人接受。 他經常問他的同事， 你們能不能找到一個計 算機不能回答的問題， 當時計算機處理多選問題已經可以了， 可是對于文章的處理還根本不 可能，但今天的發(fā)展證明了圖靈的遠見，今天的計算機已經可以讀寫一些簡

6、單的文章了。圖靈相信如果模擬人類大腦的思維就可以做出一臺可以思考的機器，它于1950 寫文章提出了著名的 " 圖靈測試 "，測試是讓人類考官通過鍵盤向一個人和一個機器發(fā)問，這個考官圖靈離開了 NPL ， Digital Machine ， 圖靈開始創(chuàng)立算不知道他現(xiàn)在問的是人還是機器。 如果在經過一定時間的提問以后， 這位人類考官不能確定 誰是人誰是機器， 那這個機器就有智力了。 這個測試在我們想起來十分簡單， 可是偉大的思 想就源于這種簡單的事物之中。 現(xiàn)在已經有軟件可以通過圖靈測試的子測試，軟件這個人 類智慧的機器反映應該可以解決一些人類智力的問題。 在完成 ACE 之前

7、， 它在曼徹斯特大學開發(fā)曼徹斯特自動計算機（ Manchester Automatic MADAM ）。他相信在 2000 年前一定可以制造出可以模擬人類智力的機器， 法，并使用 MADAM 繼續(xù)他的工作。圖靈對生物也十分感興趣， 他希望了解生物的各個器官為什么是這個樣子而不是那個樣 子，他不相信達爾文的進化論， 他覺得生物的發(fā)展與進化沒什么關系。 對于生物學，他也用 它鐘愛的數(shù)學進行研究， 它的研究對他進行計算機的研究有促進作用。 它把生物的變化也看 做是一種程序，也就是圖靈機的基本概念，按程序進行。最后，這位偉大的計算機先驅于 1954 年 6月 7 日去世，他終生未娶。圖靈英年早逝。在他

8、 42 年的人生歷程中，他的創(chuàng)造力是豐富多彩的，他是天才的數(shù) 學家和計算機理論專家。他 24 歲提出圖靈機理論， 31 歲參與 COLOSSUS 的研制， 33歲設 想仿真系統(tǒng)， 35 歲提出自動程序設計概念， 38 歲設計 "圖靈測驗 "。這一朵朵靈感浪花無不 閃耀著他在計算機發(fā)展史上的預見性。阿蘭-圖靈本人，被人們推崇為人工智能之父，在計算機業(yè)十倍速變化的歷史畫卷中永遠占有一席之地。 他的驚世才華和盛年夭折， 也給他的個 人生活涂上了謎一樣的傳奇色彩。1936 年，年僅 24歲的英國人圖靈發(fā)表了著名的論應用于決定問題的可計算數(shù)字一 文，提出思考實驗原理計算機概念。 圖靈

9、把人在計算時所做的工作分解成簡單的動作， 與人 的計算類似， 機器需要：（ 1）存儲器， 用于貯存計算結果； （ 2）一種語言， 表示運算和數(shù)字； （3）掃描；（4）計算意向，即在計算過程中下一步打算做什么；（ 5）執(zhí)行下一步計算。具體到一步計算，則分成： （ 1）改變數(shù)字可符號； （2）掃描區(qū)改變，如往左進位和往右添位等； （3）改變計算意向等。圖靈還采用了二進位制。這樣，他就把人的工作機械化了。這種理 想中的機器被稱為 "圖靈機"。圖靈機是一種抽象計算模型，用來精確定義可計算函數(shù)。圖靈 機由一個控制器， 一條可以無限延伸的帶子和一個在帶子上左右移動的讀寫頭組成。這個概念

10、如此簡單的機器， 理論上卻可以計算任何直觀可計算函數(shù)。 圖靈在設計了上述模型后提出， 凡可計算的函數(shù)都可用這樣的機器來實現(xiàn)， 這就是著名的圖靈論題。 現(xiàn)在圖靈論題已被當成 公理一樣在使用著，它不僅是數(shù)學的基礎之一。半個世紀以來，數(shù)學家提出的各種各樣的計算模型都被證明是和圖靈機等價的。1945年，圖靈到英國國家物理研究所工作，并開始設計自動計算機。1950 年，圖靈發(fā)表了題為計算機能思考嗎？的論文，給人工智能下了一個定義，而且論證了人工智能的可能性。1951 年，他被選為英國皇家學會會員。2圖靈獎簡介圖靈獎最早設立于 1966 年，是美國計算機協(xié)會在計算機技術方面所授予的最高獎項， 被喻為計算機

11、界的諾貝爾獎。它是以英國數(shù)學天才Alan Turing 先生的名字命名的， AlanTuring 先生對早期計算的理論和實踐做出了突出的貢獻。 圖靈獎主要授予在計算機技術領域 做出突出貢獻的個人。而這些貢獻必須對計算機業(yè)有長遠而重要的影響。迄今為止已有34位在計算機領域做出突出貢獻的科學家獲此殊榮。 1966年， A. J. Perlis 因其在新一代編程技 術和編譯架構方面的貢獻成為圖靈獎的第一個得主。200 到每年，美國計算機協(xié)會將要求提名人推薦本年度的圖靈獎候選人，并附加一份500 字的文章，說明被提名者為什么應獲此獎。任何人都可成為提名人。美國計算機協(xié)會將 組成評選委員會對被提名者進行

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) 發(fā)明糾錯碼的大數(shù)學家和信息學專家41969年圖靈獎獲得者：馬文？明斯基(Marvin Minsky )PhD, Princeton, Prof, MIT “人工智能之父”和框架理論的創(chuàng)立者51970年圖靈獎獲得者：詹姆斯？威爾金森(J.H. Wilkinson )BS, Cambridge; staff, National Physical Laboratory, London 數(shù)值分析專家和研制 ACE 計算機的功臣61971 年圖靈獎獲得者：約翰 ?麥卡錫 ( John McCarthy)PhD, Princeton; Prof, Stanfo

14、rd “人工智能之父”和 LISP 語言的發(fā)明人71972年圖靈獎獲得者：埃德斯加？狄克斯特拉(Edsger W. Dijkstra)PhD, U Amsterdam; Prof, UT Austin 最先察覺“ goto 有害”的計算機科學大師81973年圖靈獎獲得者：查爾斯?巴赫曼 (Charles W. Bachman)staff, Honeywell “網狀數(shù)據(jù)庫之父”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) 人工智能符號主義學派的創(chuàng)始人11. 1976 年圖靈獎獲得者：米凱爾?拉賓和達納 ?斯科特Michael O. Rabin - PhD, Princeton; Prof, HarvardDana S. Scott - PhD, Princeton; Prof, CMU 非確定性有限狀態(tài)自動機理論的開創(chuàng)者12. 1977年圖靈獎獲得者：約翰 ？巴克斯(John Backus)BS

16、, Columbia; staff, IBM FORTRAN 和 BNF 的發(fā)明者13. 1978年圖靈獎獲得者：羅伯特?弗洛伊德( Robert W. Floyd)BS, Chicago; Prof, Stanford 前后斷言法的創(chuàng)始人14. 1979年圖靈獎獲得者：肯尼思 ？艾弗森(Kenneth E. Iverson) 大器晚成的科學家， APL 的發(fā)明人15. 1980年圖靈獎獲得者：查爾斯？霍爾(C. Anthony R. Hoare)Prof, Oxford(now at Microsoft)CASE 到程序設計語言的公理化 從 QUICKSORT 、16. 1981 年圖靈獎獲

17、得者：埃德加?科德( Edgar F. Codd)PhD, Michigan; staff, IBM “關系數(shù)據(jù)庫之父”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 的發(fā)明者19. 1984年圖靈獎獲得者：

18、尼克勞斯？沃思(Niklaus Wirth )PhD, Berkeley; Prof, ETH Zurich PASCAL 之父及結構化程序設計的首創(chuàng)者20. 1985年圖靈獎獲得者：理查德？卡普(Richard M. Karp )PhD, Harvard; Prof, Berkeley 發(fā)明“分枝限界法”的三棲學者21. 1986年圖靈獎獲得者：約翰 ?霍普克洛夫特和羅伯特 ?陶爾揚John E. Hopcroft - PhD, Stanford; Prof, Cornell Robert E. Tarjan - PhD, Stanford; Prof, Princeton 碩果累累的算法設

19、計大師22. 1987年圖靈獎獲得者：約翰？科克(John Cocke)staff, IBM RISC 概念的首創(chuàng)者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 的開發(fā)者26. 1992年圖靈獎獲得者：巴特勒 ？蘭普森(Butler Lampson )PhD, Berkeley; staff, Microsoft 從 Alto 系統(tǒng)的首席科學家到微軟的首席技術官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) 大型人工智能系統(tǒng)的開拓者29. 1995年圖靈獎獲得者：曼紐爾 ？布盧姆(Manuel Blum )PhD, MIT; P rof, Berkeley計算復雜性理論的主要奠基人之一30. 1996年圖靈獎獲得者：阿米爾？伯努利(Amir Pnueli )PhD, Weizmann Institute; Prof, NYU 把時態(tài)邏輯引入計算機科學31. 1997年圖靈獎獲得者：道格拉斯？恩格爾巴特(Douglas Engelbart)PhD, Berkeley; staff

22、, SRI 鼠標器的發(fā)明人和超文本研究的先驅32. 1998年圖靈獎獲得者：詹姆斯 ？格雷James Gray)PhD, Berkeley; staff, Microsoft 數(shù)據(jù)庫技術和“事務處理”專家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、的”貢獻圖靈獎自創(chuàng)立以來獲得該獎項的首位華裔學者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算法是當前在互聯(lián)網傳輸、銀行以及信用卡

24、產業(yè)中被廣泛使用的安全基本機制)。37. 2003年圖靈獎獲得者：Alan KaySmalltalk.PhD, Utah; HP Labs (was at Xerox P ARC) 發(fā)明第一個完全面向對象的動態(tài)計算機程序設計語言38. 2004 年圖靈獎獲得者：Vinton G. Cerf 和 Robert E. Kahn 在計算機網絡領域的先鋒性工作，包括設計和實現(xiàn)了 TCP/IP協(xié)議棧2005圖靈獎中文名:英文名:籍貫性別國籍出生年月:所處時代:職業(yè):彼得?諾爾P eter Naur丹麥丹麥1928年10月25日現(xiàn)代科學1963年獲得了丹麥技術大學頒發(fā)的成就:GAHagemann金獎，19

25、66年丹麥電 臺的 Jens Rosejaer 獎，以及 1986 年的電學和電子工程師學會頒發(fā)的 計算機先驅獎。ACM各于2006年5 月20日在加州的舊金山 WestinACMFrancis飯店舉行的每年一度的頒獎宴會上頒發(fā)圖靈獎。代表作品:計算一一人類的重要活動；輯和規(guī)則的奧妙邏其他信息: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的發(fā)明者。除了早期有關 ALGOL和DASK的一些文章和專著外，諾爾近期 還出版了以下兩部重要著作

27、：計算人類的重要活動Naur也是著名的編程語言歸約BNF范式中的 N.B是John W. Backus。Backus是第一個高(Computing ： a Human Activ ity , Addi . son - Wesley, 1992)。邏輯和規(guī)則的奧妙(Knowing and Mystique of Logic and Rules ， Kluwer Academic Pr.， 1995) 1986年計算機先驅獎獲得者彼得- 諾爾(Peter Naur)這個名字對于從事 計算機科學技術的 人來說是不陌生的，因為大家常用的描寫高級語言語法的元語言 BNF的全稱是“巴克斯一諾 爾范式”，這

28、個范式是由巴克斯首創(chuàng)，但經諾爾改進而成的。但大家未見得知道，諾爾原本 是天文學家 ，“陰差陽錯” 地走進了計算機領域并成為對計算機技術的發(fā)展起了重大作用的 科學家 。諾爾 1928年 9 月生于丹麥首都 哥本哈根 近郊的弗雷德里克斯伯格 (Frederiksberg) ， 1949 年在哥本哈根大學取得天文學碩士學位。19501951年，他在英國劍橋大學進修期間，用過由威爾克斯主持研制的世界上第一臺存儲程序式數(shù)字計算機機和在計算機上編程的知識。但他的主要興趣仍在天文學方面。EDSAC學到了不少有關計算 19521953年他在芝加哥由于天文學研究中有大量計算，1953 年回到丹麥以大學的Yerk

29、es天文臺和McDonald天文臺當助理研究員期間，曾到 IBM 公司的沃森研究中心進修，這使他獲得了更多的計算機知識。 后，他到哥本哈根天文臺工作。 由于開展天文研究的需要， 他受命設計了丹麥的第一臺計算1957 年取得哥本哈根大學天文學博士學1960 年 1 月 11機DASK同時也完成了他天文學研究的博士論文, 位。ALGOL 58 報告公布以后，受到廣泛關注，但它的不足和缺點也受到批評。日，在IBM(歐洲)的財政支持下，舉行了一次重要的會議，對ALGOL 58進行修改。諾爾不BNF。但參加了這個會議，成為新的ALGOL即 ALGOL 60)文本的執(zhí)筆人，而且對巴克斯提出的描述語言語法的

30、方案進行了仔細審閱和修改，使之完善，從而誕生了1961年，諾爾在由他設計的 DASK上實現(xiàn)了 ALGOL這是世界上首批 ALGOL實現(xiàn)中的一個。雖然參與了這么多活動， 做了這么多工作， 也做出了這么大貢獻， 但諾爾在這段時間里仍主 要關心天文學，計算機只是由于研究天文學的需要而介入的，直到約1964 年左右，諾爾對計算與數(shù)據(jù)處理的興趣才超出對天文學的興趣而占了上風。1966 年，他發(fā)明了一個新的單詞 datalogy 。丹麥的計算機學會的正式名稱就叫 Danish Society of Datalogy ，他 是這個學會的第一任主席。 1969年，他說服哥本哈根大學建立起了計算機專業(yè)，他又是該

31、 校的第一位計算機 教授。1963 年授予他 C AHage鑒于諾爾在數(shù)據(jù)處理技術方面為國家所作出的貢獻，丹麥政府在manns金質獎章，1966年又授予他 Rosenhjaer獎。IEEE則因他"對計算機語言開發(fā)”(For computer language development) 所作出的貢獻授予他計算機先驅獎。除了早期有關ALGOL和DASK勺一些文章和專著外，諾爾近期還出版了以下兩部重要著作:計算人類的重要活動 (Computing : a Human Activity ， AddisonWesley ，1992)邏輯和規(guī)則的奧妙 (Knowing and Mystique

32、of Logic and Rules，Kluwer Academic Pr， 1995)Algol 60 引發(fā)語言設計革命編輯本段回目錄Peter Naur紐約時報報道，2006年3月1日，國際計算機協(xié)會(ACM)宣布彼得.諾爾為 圖靈獎的獲得者。 這個獎項是由于諾爾在定義 Algol 60這種程序設計語言方面的先驅性工 作而頒發(fā)給他的。 Algol 60 是許多后來的程序設計語言， 程工具的原型。圖靈獎，被認為是“計算科學界的諾貝爾獎”2005 年 A.M.包括今天那些必不可少勺軟件工，于1966 年首次頒發(fā)，是以100， 000 美元，由英特爾公司提供英國數(shù)學家圖靈 (Alan M.Tur

33、ing) 命名勺。獎金額度為 贊助。諾爾博士在 1960 年是具有極高影響勺主編。這份報告勺優(yōu)雅、一致和連貫使他聲名鵲起， 并被認為是創(chuàng)造了這種算法語言勺強大功能和簡易性勺重要貢獻者。 這份報告先驅性地使用了 BNF范式(Bcakus-Naur-Form)用以定義程序設計語言的語法。BNF現(xiàn)在是定義一種計算機語言勺標準方式。 諾爾還因為他對于編譯設計勺貢獻、 以及在計算機程序設計方面勺技巧與 實踐而受到表彰?！爸Z爾博士的 Algol 60 體現(xiàn)了算法表達中的優(yōu)雅和簡明的概念， ”英特爾高級研究員和首 席技術主管查斯廷 .拉納 (Justin Rattner) 說，“多年以來， 計算機語言已經被

34、各種特性和 功能所充斥， 這使得計算機越來越難學習， 效力越來越低。 未來的語言設計者正面臨著今天 在程序設計方面的最大挑戰(zhàn)，如通用目的、多線程計算等。這個獎項應該鼓勵他們達到與lgol 60同樣優(yōu)雅和簡明的水平，而這正是 Algol 60的特點?！?006圖靈獎中文名：法蘭西斯艾倫英文名：Frances E. Allen性別：女國籍：美國出生年月：1933 年所處時代：現(xiàn)代職業(yè)：科學計算機科學家畢業(yè)院校：美國紐約州立大學奧爾巴尼分校成就：主要包括編譯器的基本原理、 化和并行編譯等。代碼優(yōu)法蘭艾倫 (Frances E. Allen ,1933年)是一位計算機科學家，作為一名編譯器優(yōu)化領域的先

35、驅，她的成就主要包括編譯器的基本原理、代碼優(yōu)化和并行編譯等。Fran ces Alle n1954年，艾倫畢業(yè)于美國 紐約州立大學奧爾巴尼分校，并獲得學士學位。她在1980年代早期創(chuàng)立了并行 翻譯(Parallel TRANslation , PTRAN研究組，致力于研究并行計算機的編譯問題。該小組的工作在編譯器的并行化方面處于世界領先的位置。她在這 些項目中的工作促成了許多目前廣泛應用于商業(yè)編譯器中的程序優(yōu)化算法和技術。艾倫在IBM業(yè)界有廣泛影響，并于 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 )，專門從事編譯器和高性能計算機的程序優(yōu)化工 作。這一工作使她贏得了2006年美國計算機協(xié)會(ACM的圖靈獎的榮譽，表彰她“在優(yōu)化編譯器技術的理論和實踐領域做出了先驅性貢獻，奠定了現(xiàn)代優(yōu)化編譯器和自動并行執(zhí)行技術的基礎”。(CISE)以及美國國家研她是美國哲學會和國家 工程師 學會

37、會員， 以及美國藝術與科學研究院、 美國計算機協(xié)會、 電 氣電子工程師協(xié)會和計算機歷史博物館的院士。她同時還是多個美國國家技術委員會的成 員，如美國國家科學基金會下屬的計算機和信息科學與工程委員會究委員會下屬的計算機科學與電信委員會(CSTB。她獲得的獎項和榮譽包括：阿爾伯塔大學( University of Alberta )的榮譽 博士 (1991 年)、佩斯大學( Pace University )的 榮譽博士( 1999 年)和位于 Urbana 的伊利諾伊大學( University of Illinois)的榮譽博士( 2004 年)。1983 年她曾作為Fran 還是女性從事計算

38、、環(huán)保和探險等方面工作的積極的導師和倡導者。中美聯(lián)合西部登山探險隊的隊員，第三次到訪中國2006年的圖靈獎于 07年2月21日給了 75歲的IBM終生院士 (IBM Fellow Emerita) , Frances E. Allen 。ACM的官方聲明說 Frances因為在編譯器優(yōu)化的理論和實踐方面做出的開創(chuàng)性貢獻而獲獎。她的工作奠定了現(xiàn)代優(yōu)化編譯器和自動并行化執(zhí)行的基礎。Frances是該獎項創(chuàng)立40年來的第一位女性得主。同時，她也是IBM歷史上第一位女院士。Frances 本想當一名光榮的人民教師，于是就讀阿爾班尼州立師范( Albany State Teacher 學位。臨近畢業(yè)，她

39、需要錢償還學生貸款，在's College )，又在密歇根大學拿了數(shù)學碩士1957年加盟 IBM Watson 研究中心。于是 20IBM Fellow是IBM的最高技術職位。當年07年 2月，圖靈獎歷史上第一位女英雄誕生。2007圖靈獎背景知識：模型檢查模型檢查（Model-Checking，也譯為模型檢驗，仿真術語里稱為模型校驗）本質上是用嚴密 的數(shù)學方法來驗證設計是否滿足預設的需求，從而自動化地發(fā)現(xiàn)設計中的錯誤。按Wikip edia的定義，它是一種檢查某一給定模型是否滿足某一邏輯規(guī)則的方法。其中一種重要的方法，就是通過算法來驗證形式化系統(tǒng)，具體方法是驗證由硬件或者軟件設計導出的

40、模 型是否滿足通常用模態(tài)邏輯規(guī)則表示的形式化規(guī)范。在硬件業(yè)，包括半導體業(yè)和嵌入式系統(tǒng)中，模型檢查已經成為一項非常關鍵的主流技術。知道，在硬件行業(yè)，如果設計有問題，一旦投產，損失就太大了。正因為這樣，圖靈獎贊助此外，在通信協(xié)議、安全算法方之一 In tel對三位獲獎者的祝賀可以說是充滿了感激之情。的設計方面，模型檢查也發(fā)揮了關鍵作用。但是，軟件業(yè)對模型檢查的重視似乎很不夠。一線的軟件開發(fā)人員可能都對它比較陌生, 覺比較學院化。當然，由于存在可計算性導致的缺陷，以及軟件本身的復雜性，模型檢查是不可能完全解決軟件設計中的bug的。但是，軟件業(yè)對這種方法的忽視，是否也是軟件總體 質量不如硬件，或者說低

41、級錯誤更多的一個原因呢?獲獎者 1: Edmund M. ClarkeClarke是卡耐基梅隆大學（CMU的教授，曾任Formal Methodsin Systems Desig n雜志主編。曾任榮獲 2004年IEEE HarryM. Goode紀念獎。ACM和IEEE計算機學會會士， 2005年當選美國工程院院士。本科畢業(yè)于弗吉尼亞大學，碩士在杜克大學，均為數(shù)學專業(yè),然后在康奈爾大學獲得計算機博士學位。曾任教杜克大學和哈佛大學。他在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、擁有得克薩斯大學奧斯汀分校數(shù)學學士和碩士學位，哈佛大學應用數(shù)學博士。他的主頁透露，自己之所以走上形式化驗證的道路，是受了Hoare 的一篇 CACM論文"Proof of Program: Find" 的啟發(fā)。他位居CiteSeer引用次數(shù)最多的前1%十算機科學家之列。獲獎者3: Jose ph SifakisSifakis是位于法國Grenoble的頂尖嵌入式系統(tǒng)研究中心1970年代中期圖靈獎得主 TonyAVerimag實驗室的創(chuàng)始人?，F(xiàn)在是法國國家科學研究中心(Ce ntre Natio nal de la RechercheScie ntifique )的研究總的負

44、責人。監(jiān)和 CARNOT Institute on Intelligent Software and Systems in Grenoble他在雅典技術大學獲得電機工程學位，在Grenoble大學獲得計算機科學博士學位。背景關于模型檢查的最初論文，是1981年由Clarke和Emerson在哈佛大學，Sifakis 和J.P.Queille 在法國，各自獨立完成 1982年，Clarke還實現(xiàn)了第一個模型檢查程序。但由于狀態(tài)爆炸問題，最初的模型檢查只能應用于很小規(guī)模的設計，從而無法走出學院。1987 年，Clarke 的博士生 Kenneth McMillan 發(fā)現(xiàn)，在另一位 CMl教授 Ra

45、ndal E. Bryant運用二叉決策圖(BDD binary decision diagram )表示符號信息的工作基礎上，可以發(fā)明 一種新的模型檢查實現(xiàn)方法，也就是所謂符號模型檢查(Symbolic Model Check ing )，將突破該方法的復雜度限制，從而廣泛開始應用于工業(yè)界，尤其是半導體制造業(yè)。為此，Bryant,獎。Clarke, Emerson 和 McMillan 獲得了 1998 年 ACM Paris Kanellakis而Sifakis 則與Thomas A. Henzinger、Sergio Yovine 將模型檢查方法應用于實時系統(tǒng)的驗證。2008圖靈芭芭拉利

46、斯科夫芭芭拉利斯科夫(Barbara Liskov , 1939年)，本名 Barbara Jane Huberman。美國計算機科學家，2008年圖靈獎得主，2004年約翰-馮諾依曼獎得主。美國工程院院士，美國藝術與科學院 院士，美國計算機協(xié)會 會士?，F(xiàn)任麻省理工學院 電子電氣與計算機科學系 教授。1961年在加州大學伯克利分校 是美國第一個計算機科學女博士。 際象棋殘局程序。獲得數(shù)學學士學位。1968年在斯坦福大學 獲得博士學位，她 導師為 1971年圖靈獎得主 約翰麥卡錫，論文題目是國利斯科夫領導了許多重要的項目，持數(shù)據(jù)抽象的面向對象編程語言CLU的設計與實現(xiàn)，第一個支持分布式程序實現(xiàn)的

47、高級語言 Argus，面向對象數(shù)據(jù)庫系統(tǒng) Thor，還有最近的Byzantine分布式容錯系統(tǒng)。其中，CLU語言對現(xiàn)代主流語言如 C+/Java/ Pytho n/Ruby/C#都有比較深遠的影響。而她從這些實際項目 中提煉出來的數(shù)據(jù)抽象思想，已經成為軟件工程中最重要的精髓之一。包括小型低成本交互式的分時操作系統(tǒng)Ven us，第一個支她另外一個在程序設計中有廣泛應用的成就，是與周以真(Jeannette Wing ) 起提出的Liskov代換原則，是面向對象最重要的幾大原則之一。著作Program Development in Java , Addison-Wesley, 2001利斯科夫19

48、68年從麻省理工學院 獲得計算機科學博士學位 ，是美國歷史 上第一位女性 計算機博士 .她也成為歷史上第二位獲得圖靈獎的女性 .從1972年以來，利斯科夫一直 擔任麻省理工學院教授 .2009圖靈現(xiàn)代個人計算機之父-記2009年圖靈獎得主 Chuck Thacker在聽到他得到圖靈獎后非常高興。 一個真正能夠認識到它的潛能的人。-比爾蓋茨Chuck Thacker 其人"就對計算機科學的貢獻而言，我想不出有誰能夠抵得上Chuck Thacker,這使得我人們現(xiàn)在往往把個人電腦作理所應當，而Chuck則是也是世界是第一臺激光打印機發(fā)明者之一。他是加州大因為發(fā)明了世界上第一部上網計算機，

49、Chuck Thacker。Chuck Thacker 自小立志成他是以太局域網的發(fā)明者之一， 學計算機大學的校友，也是瑞士聯(lián)邦大學的榮譽博士， 他于2004年獲得美國頒發(fā)的德雷珀獎，他就是 為工程師，因此他從小學習就很努力，總嘗試以不同的角度去觀察事物。青年時期，Chuck博覽群書，大量的閱讀幫助他認識到哪種技術將會成為發(fā)展趨勢，他深深體會到，新事物總是從舊事物中發(fā)展而來的。2009年，圖靈獎頒發(fā)給 Charles Thacker，以表彰他對第一臺現(xiàn)代個人計算機一一施樂 帕克（Xerox PARC） Alto的先驅性設計，以及在局域網（包括以太網）、多處理器工作站、窺探高速緩存一致性協(xié)議和平

50、板PC等方面的杰出成就與貢獻。因此，Thacker也成為繼 Tony Hoare（1980年獲獎）， ButlerLamp son （1992 年獲獎）和已逝的 JimGray （1998年獲獎）之后，微軟研究院第四位獲得這一最 高榮譽的研究者，他的名字被刻寫在光華奪目的圖靈碗上。美國計算機協(xié)會（ACM主席DameWendyHall在致辭中說 道，“ Charles Thacker是計算機系統(tǒng)領域最杰出的工程師 之一，他的一個又一個成就對現(xiàn)代計算機技術產生了深遠 影響”。同時，比爾蓋茨也因此寫下了開頭那段文字。Rick Rashid這樣對微軟員工P rese nee of great ness

51、）?！痹诘弥狢huck獲得圖靈獎的當天，微軟全球高級副總裁 說：“我們現(xiàn)在在一位偉人身邊（ We are in theChuck與微軟Chuck的大部分職業(yè)生涯在三個知名研究機構度過，1971年他加入施樂帕克研究中心并在那里工作了 13年；1984年加入DEC也在那里工作了13年；1997年，他來到了微軟，與Roger Needham等人共同建立了微軟劍橋研究院，兩年后返回美國并領導了微軟平板PC原型的開發(fā)，之后又回到微軟研究院，從事計算機體系架構方面的研究。而如今，又一個 13年已經來到，不過“ 13年離職”的規(guī)律似乎要被打破了。他對在微軟的研究工作始終熱 情不減：現(xiàn)在，他領導著微軟硅谷研究

52、院的計算機架構研究組，并致力于能夠實現(xiàn)多核計算實驗的現(xiàn)場可編程門陣（field-programmable gate arrays to enable multicore-computingexp erime ntation ）的研究，另外，他還對一個名 為“ Barrelfish ”的項目深感興趣，該項目是微 軟劍橋研究院和瑞士聯(lián)邦技術學院的合作項目， 關注多核系統(tǒng)中的操作系統(tǒng)原理（op erati ng-system princip les sp ecifically for multicore systems ）。Chuck 寄語Charles Thacker這位圖靈獎得主不僅在技術方面成

53、就斐然，而且是位極受尊敬的研究管理者。在微軟研究院，他通常被人們昵稱作Chuck。談到對自己影響最大的人，Chuck說他經常受到同事們與合作者們的影響。這讓他感到自己特別幸運。Chuck身邊有許多非常優(yōu)秀的同事，他們都對研究感興趣，一個能夠*很多志同道合的研究者的項目，成功的機會就很大，Chuck說。你知道對Chuck影響最大的人是誰么？Chuck曾經提到過這三位對他產生重大影響的人：Doug Engelbart （道格恩格爾巴特），他的想法對 Chuck的工作有及其深遠的影響。 享有“計算機圖形學之父”美譽的Ivan Sutherla nd算機之間的信息交互有重要貢獻，以及Wesley Cl

54、ark的個人計算機LINC的發(fā)明者。作為一位在計算機界做出了重要的歷史貢獻的科學家，（伊凡蘇澤蘭特） （威斯利克拉克），他對簡化人與計，這位世界上最早Chuck認為,像他們這樣做基礎 許多成果可能成為研究的人，是在幕后改變世界。 他們只是在研究室里做自己擅長的事情， 文明的一部分，但是許多人并不明白它們的出處。只有一些專業(yè)人員可能對計算機的發(fā)展歷史感興趣，對研究人員了解一些，但大多數(shù)人并不知道他們在做的事情。面對現(xiàn)今想要進入計算機研究領域的年輕人，Chuck有他自己的憂慮：一直以來，擔心年輕人不想做科學研究，只是使用計算機。在他上學的時候，已經有了人造地球衛(wèi)星， 這對進入工程領域以及科學界的人

55、來說是一個巨大的動力，即便這些學科更加困難。 今天并沒有這樣大的成果，我懷疑這是現(xiàn)在的年輕人不做研究的一個很重要的原因。情會讓年輕人更有激情？”Chuck說，“我對年輕人去制造機器人抱有樂觀的態(tài)度，器人最能激發(fā)年輕人的創(chuàng)造力。我年輕的時候，是一個業(yè)余無線電愛好者，他很“我們什么事因為機我利用Heathkit建立了自己的無線電站。在我看來，機器人技術就是21世紀的Heathkit，其中蘊含了許多機會?！倍谧陨矶嗄甑难芯拷洑v中，Chuck表示，以下幾點是他最深的體會：第一，慎重的選擇和自己一起工作的人， 要盡量得到他們的幫助使自己更加成功， 也要 盡量幫助他們獲得成功； 第二，在生活的各個方面重視簡單與優(yōu)雅的品質；第三，仔細檢討自己的問題，特別是一些最基本的問題，小事總是會釀成大錯。Chuck Thacker教授曽經裂加過2004年的“二十一世紀的計3P丸會.今