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

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

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

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

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

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

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

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

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

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

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

12、嚴(yán)格的審核，并最終確定當(dāng)年的獲獎?wù)摺?歷屆圖靈獎獲得者11966年圖靈獎獲得者：艾倫？佩利(A. J. Perlis )PhD, MIT; Prof, Yale (was Prof at CMU) (deceased) ALCOL 語言和計算機(jī)科學(xué)的“催生者”21967年圖靈獎獲得者：莫里斯？威爾克斯(Maurice V. Wilkes)PhD, Cambridge; Prof, Cambridge 世界上第一臺存儲程序式計算機(jī) EDSAC 的研制者31968年圖靈獎獲得者：理查德？哈明(Richard W. Hammin )Prof, Naval Postgraduate School (w

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

14、rd “人工智能之父”和 LISP 語言的發(fā)明人71972年圖靈獎獲得者：埃德斯加？狄克斯特拉(Edsger W. Dijkstra)PhD, U Amsterdam; Prof, UT Austin 最先察覺“ goto 有害”的計算機(jī)科學(xué)大師81973年圖靈獎獲得者：查爾斯?巴赫曼 (Charles W. Bachman)staff, Honeywell “網(wǎng)狀數(shù)據(jù)庫之父”91974年圖靈獎獲得者：唐納德？克努(Donald E. Knuth )PhD, Caltech; Prof, Stanford 經(jīng)典巨著計算機(jī)程序設(shè)計的藝術(shù)的年輕作者10. 1975 年圖靈獎獲得者：赫伯特?西蒙和艾

15、倫 ?紐厄爾Allen Newell - PhD, Stanford; Prof, CMU (deceased)Herbert A. Simon - PhD, Chicago; Prof, CMU (deceased) 人工智能符號主義學(xué)派的創(chuàng)始人11. 1976 年圖靈獎獲得者：米凱爾?拉賓和達(dá)納 ?斯科特Michael O. Rabin - PhD, Princeton; Prof, HarvardDana S. Scott - PhD, Princeton; Prof, CMU 非確定性有限狀態(tài)自動機(jī)理論的開創(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) 大器晚成的科學(xué)家， APL 的發(fā)明人15. 1980年圖靈獎獲得者：查爾斯？霍爾(C. Anthony R. Hoare)Prof, Oxford(now at Microsoft)CASE 到程序設(shè)計語言的公理化 從 QUICKSORT 、16. 1981 年圖靈獎獲

17、得者：埃德加?科德( Edgar F. Codd)PhD, Michigan; staff, IBM “關(guān)系數(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 之父及結(jié)構(gòu)化程序設(shè)計的首創(chuàng)者20. 1985年圖靈獎獲得者：理查德？卡普(Richard M. Karp )PhD, Harvard; Prof, Berkeley 發(fā)明“分枝限界法”的三棲學(xué)者21. 1986年圖靈獎獲得者：約翰 ?霍普克洛夫特和羅伯特 ?陶爾揚(yáng)John E. Hopcroft - PhD, Stanford; Prof, Cornell Robert E. Tarjan - PhD, Stanford; Prof, Princeton 碩果累累的算法設(shè)

19、計大師22. 1987年圖靈獎獲得者：約翰？科克(John Cocke)staff, IBM RISC 概念的首創(chuàng)者23. 1988 年圖靈獎獲得者：伊萬?薩瑟蘭( Ivan E. Sutherland)IPhD, MIT; staff, Sun 計算機(jī)圖形學(xué)之父24. 1989年圖靈獎獲得者：威廉？卡亨(William V . Kahan)PhD, U Toronto; Prof, Berkeley 浮點(diǎn)計算的先驅(qū)25. 1991 年圖靈獎獲得者：羅賓?米爾納( Robin Milner )Prof, Cambridge (was at U Edinburgh)PhD, MIT; Prof,

20、 MIT 標(biāo)準(zhǔn)元語言 ML 的開發(fā)者26. 1992年圖靈獎獲得者：巴特勒 ？蘭普森(Butler Lampson )PhD, Berkeley; staff, Microsoft 從 Alto 系統(tǒng)的首席科學(xué)家到微軟的首席技術(shù)官27. 1993年圖靈獎獲得者：尤里斯 ?哈特馬尼斯和理查德 ?斯特恩斯 PhD, Caltech; Prof, CornellRichard E. Stearns - PhD, P rinceton; Prof, SUNY Albany 計算復(fù)雜性理論的主要奠基人28. 1994年圖靈獎獲得者：愛德華 ？費(fèi)根鮑姆和勞伊？雷迪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計算復(fù)雜性理論的主要奠基人之一30. 1996年圖靈獎獲得者：阿米爾？伯努利(Amir Pnueli )PhD, Weizmann Institute; Prof, NYU 把時態(tài)邏輯引入計算機(jī)科學(xué)31. 1997年圖靈獎獲得者：道格拉斯？恩格爾巴特(Douglas Engelbart)PhD, Berkeley; staff

22、, SRI 鼠標(biāo)器的發(fā)明人和超文本研究的先驅(qū)32. 1998年圖靈獎獲得者：詹姆斯 ？格雷James Gray)PhD, Berkeley; staff, Microsoft 數(shù)據(jù)庫技術(shù)和“事務(wù)處理”專家33. 1999年圖靈獎獲得者：弗雷德里克？布魯克斯(Frederick P. Brooks, Jr.)PhD, Harvard; Prof, UNC34. 2000年圖靈獎獲得者：姚期智( Andrew Chi-Chih Yao )IBM 360系列計算機(jī)的總設(shè)計師和總指揮PhD, UIUC; Prof, P rinceton (now at 清華) 對計算理論做出了諸多“根本性的、意義重大

23、的”貢獻(xiàn)圖靈獎自創(chuàng)立以來獲得該獎項的首位華裔學(xué)者35. 2001年圖靈獎獲得者:Ole-Johan DahlKristen Nygaard - Profs, U Oslo 在設(shè)計編程語言 SIMULA I和SIMULA 67時產(chǎn)生的基礎(chǔ)性想法是面向?qū)ο蠹夹g(shù)的肇始。36. 2002年圖靈獎獲得者:Ronald L. Rivest - PhD, Stanford; MITAdi Shamir - P hD, Weizmann; WeizmannLeonard M. Adelman - PhD, Berkeley; USC 在公共密匙算法上所做的杰出貢獻(xiàn)(RSA算法是當(dāng)前在互聯(lián)網(wǎng)傳輸、銀行以及信用卡

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

25、66年丹麥電 臺的 Jens Rosejaer 獎，以及 1986 年的電學(xué)和電子工程師學(xué)會頒發(fā)的 計算機(jī)先驅(qū)獎。ACM各于2006年5 月20日在加州的舊金山 WestinACMFrancis飯店舉行的每年一度的頒獎宴會上頒發(fā)圖靈獎。代表作品:計算一一人類的重要活動；輯和規(guī)則的奧妙邏其他信息:1959年，Naur加盟丹麥第一個計算 機(jī)公司-Regnecentralen 。并且領(lǐng)導(dǎo) 了 Algol 60 語言的定義。1969年，Naur成為哥本哈根大學(xué)的教授，直 到1998年退休。彼得諾爾Peter Naur，出生于1928年10月25日于丹麥。Naur 于 1949 年從 Copenhage

26、n Unviersity（哥本哈根大學(xué)）獲得其天文學(xué)方面的Magisterof Scienee學(xué)位（類似于碩士學(xué)位），1957年完成了其天文學(xué)的博士學(xué)位。在1950年和1951年其間，Naur在英國劍橋大學(xué)研讀天文學(xué)。其間，Naur的工作用到了計算機(jī)（EDSAC世界上第一臺使用存儲裝置的電子計算機(jī)）。1959年，Naur加盟丹麥第一個計算機(jī)公司-Regnecentralen。并且領(lǐng)導(dǎo)了Algol 60語言的定義。1969年，Naur成為哥本哈根大學(xué)的教授，直到1998年退休。級編程語言Fortan的發(fā)明者。除了早期有關(guān) 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年計算機(jī)先驅(qū)獎獲得者彼得- 諾爾(Peter Naur)這個名字對于從事 計算機(jī)科學(xué)技術(shù)的 人來說是不陌生的，因為大家常用的描寫高級語言語法的元語言 BNF的全稱是“巴克斯一諾 爾范式”，這

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

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

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

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

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

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

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

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

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

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

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

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

41、級錯誤更多的一個原因呢?獲獎?wù)?1: Edmund M. ClarkeClarke是卡耐基梅隆大學(xué)（CMU的教授，曾任Formal Methodsin Systems Desig n雜志主編。曾任榮獲 2004年IEEE HarryM. Goode紀(jì)念獎。ACM和IEEE計算機(jī)學(xué)會會士， 2005年當(dāng)選美國工程院院士。本科畢業(yè)于弗吉尼亞大學(xué)，碩士在杜克大學(xué)，均為數(shù)學(xué)專業(yè),然后在康奈爾大學(xué)獲得計算機(jī)博士學(xué)位。曾任教杜克大學(xué)和哈佛大學(xué)。他在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獲獎?wù)?2: E. Allen EmersonEmerson是得克薩斯大學(xué)奧斯汀分校教授，曾任ACMTran sacti ons on Compu tati onal Logic, Formal Asp ects ofCompu ti ng, 禾 R Formal Methods in Systems Desig n等雜志的編委。他

43、擁有得克薩斯大學(xué)奧斯汀分校數(shù)學(xué)學(xué)士和碩士學(xué)位，哈佛大學(xué)應(yīng)用數(shù)學(xué)博士。他的主頁透露，自己之所以走上形式化驗證的道路，是受了Hoare 的一篇 CACM論文"Proof of Program: Find" 的啟發(fā)。他位居CiteSeer引用次數(shù)最多的前1%十算機(jī)科學(xué)家之列。獲獎?wù)?: Jose ph SifakisSifakis是位于法國Grenoble的頂尖嵌入式系統(tǒng)研究中心1970年代中期圖靈獎得主 TonyAVerimag實驗室的創(chuàng)始人?，F(xiàn)在是法國國家科學(xué)研究中心(Ce ntre Natio nal de la RechercheScie ntifique )的研究總的負(fù)

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

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

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

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

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

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

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

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

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

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

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

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