今天我們聊聊計(jì)算機(jī)領(lǐng)域最高獎(jiǎng)項(xiàng) —— 圖靈獎(jiǎng)（Turing Award）。

為紀(jì)念艾倫·麥席森·圖靈在計(jì)算機(jī)領(lǐng)域的卓越貢獻(xiàn)，美國計(jì)算機(jī)協(xié)會(huì)于1966年設(shè)立圖靈獎(jiǎng)，此獎(jiǎng)項(xiàng)被譽(yù)為計(jì)算機(jī)科學(xué)界的諾貝爾獎(jiǎng)。

每年，美國計(jì)算機(jī)協(xié)會(huì)將要求提名人推薦本年度的圖靈獎(jiǎng)候選人，并附加一份 200 到 500 字的文章，說明被提名者為什么應(yīng)獲此獎(jiǎng)。

任何人都可成為提名人，但美國計(jì)算機(jī)協(xié)會(huì)將組成評(píng)選委員會(huì)，對(duì)被提名者進(jìn)行嚴(yán)格的評(píng)審，并最終確定當(dāng)年的獲獎(jiǎng)?wù)?，?dāng)年的圖靈獎(jiǎng)一般于次年3月下旬頒發(fā)。

雖然圖靈獎(jiǎng)被稱為計(jì)算機(jī)界的諾貝爾獎(jiǎng)，但與諾貝爾獎(jiǎng) 140 萬美元的獎(jiǎng)金相比，圖靈獎(jiǎng)的獎(jiǎng)金顯得相形見絀。

初時(shí)期為 20 萬美金， 1989 年增長到 25萬美金，2015 年開始，Google 宣布贊助圖靈獎(jiǎng)獎(jiǎng)金，金額達(dá)到 100 萬美元。

群星閃耀的時(shí)代

下面我們來盤點(diǎn)一下，這 54 年里的圖靈獎(jiǎng)得主及其主要貢獻(xiàn)，來看看那些“計(jì)算機(jī)領(lǐng)域的巨星”。

1960年代

艾倫·佩利?Alan J. Perlis

貢獻(xiàn)領(lǐng)域：高級(jí)程序設(shè)計(jì)技巧，編譯器構(gòu)造

成就：艾倫·佩利是 ALGOL語言和計(jì)算機(jī)科學(xué)的“催生者”，由于在 ALGOL 語言的定義和擴(kuò)充上所作出的重大貢獻(xiàn)，以及在創(chuàng)始計(jì)算機(jī)科學(xué)教育，使計(jì)算機(jī)科學(xué)成為一門獨(dú)立的學(xué)科上所發(fā)揮的巨大作用而成為首屆圖靈獎(jiǎng)當(dāng)之無愧的獲得者。

ALGOL 是算法語言（ALGOrithmic Language）的簡(jiǎn)稱，是在計(jì)算機(jī)發(fā)展史上首批清晰定義的高級(jí)語言，國際計(jì)算機(jī)學(xué)會(huì)將 ALGOL 模式列為算法描述的標(biāo)準(zhǔn)，啟發(fā) ALGOL 類現(xiàn)代語言 Pascal、Ada、C 語言等出現(xiàn)。

莫里斯·威爾克斯?Maurice V. Wilkes

貢獻(xiàn)領(lǐng)域：存儲(chǔ)程序式計(jì)算機(jī) EDSAC，程序庫

1946 年 5 月，他獲得馮·諾伊曼起草的 EDVAC 計(jì)算機(jī)的設(shè)計(jì)方案的一份復(fù)印件。1946 年 10 月，返回劍橋大學(xué)后，以 EDVAC 為藍(lán)本設(shè)計(jì)建造了世界上第一臺(tái)存儲(chǔ)程序式電子計(jì)算機(jī) EDSAC。

它使用了水銀延遲線作存儲(chǔ)器，穿孔紙帶為輸入設(shè)備和電傳打字機(jī)為輸出設(shè)備。它是第一臺(tái)馮諾依曼結(jié)構(gòu)的電子計(jì)算機(jī)。

理查德·衛(wèi)斯里·漢明?Richard Hamming

貢獻(xiàn)領(lǐng)域：數(shù)值方法，自動(dòng)編碼系統(tǒng)，錯(cuò)誤檢測(cè)和糾錯(cuò)碼

他是美國計(jì)算機(jī)協(xié)會(huì)（ACM）的創(chuàng)立人之一，曾任該組織的主席。在曼哈頓計(jì)劃中負(fù)責(zé)編寫電腦程式，計(jì)算物理學(xué)家所提供方程的解，來為核彈實(shí)驗(yàn)提供可靠的計(jì)算依據(jù)。

以理查德·衛(wèi)斯里·漢明命名的“漢明距離”和“漢明重量”廣泛應(yīng)用在信息論、編碼理論、密碼學(xué)等多個(gè)領(lǐng)域。

馬文·閔斯基?Marvin Minsky

貢獻(xiàn)領(lǐng)域：人工智能

馬文·閔斯基是人工智能領(lǐng)域著名的框架理論（frame theory）的創(chuàng)造者，該理論的核心是以框架這種形式來表示知識(shí)。

框架的頂層是固定的，表示固定的概念、對(duì)象或事件。下層由若干槽（slot）組成，其中可填入具體值，以描述具體事物特征。每個(gè)槽可有若干側(cè)面（facet），對(duì)槽作附加說明，如槽的取值范圍、求值方法等。

這樣，框架就可以包含各種各樣的信息，利用多個(gè)有一定關(guān)聯(lián)的框架組成框架系統(tǒng)，就可以完整而確切地把知識(shí)表示出來。

1970年代

詹姆斯·維爾金森?James H. Wilkinson

貢獻(xiàn)領(lǐng)域：數(shù)值分析，線性代數(shù)、向后誤差分析

維爾金森在數(shù)值分析領(lǐng)域具有杰出貢獻(xiàn)，尤其是在數(shù)值線性代數(shù)方面，發(fā)現(xiàn)很多有意義的算法。1960 年，他在研究矩陣計(jì)算誤差時(shí)而提出“向后誤差分析法”是計(jì)算機(jī)上各種數(shù)值計(jì)算最常用的誤差分析手段。

在英國國家物理實(shí)驗(yàn)室，維爾金森一開始協(xié)助圖靈設(shè)計(jì)計(jì)算機(jī) Pilot ACE。圖靈離開實(shí)驗(yàn)室后，他接手整個(gè)項(xiàng)目，使得 Pilot ACE 于 1950年 5 月10日，第一次正式試運(yùn)行成功。

約翰·麥卡錫?John McCarthy

貢獻(xiàn)領(lǐng)域：人工智能

麥卡錫是著名的 α-β 搜索發(fā)發(fā)明人，α-β 搜索法至今仍是解決人工智能問題中一種常用的高效方法?；舅枷胧歉鶕?jù)倒推值的計(jì)算方法，或中取大，與中取小，在擴(kuò)展和計(jì)算過程中，能剪掉不必要的分枝，提高效率。

他也是 LISP 語言發(fā)明人，LISP 語言是一種函數(shù)式的符號(hào)處理語言，其程序由一些函數(shù)子程序組成，是人工智能界第一個(gè)最廣泛流行的語言。

艾茲格·迪科斯徹?Edsger Dijkstra

貢獻(xiàn)領(lǐng)域：程序設(shè)計(jì)語言的科學(xué)與藝術(shù)

迪科斯徹被西方學(xué)術(shù)界稱為“結(jié)構(gòu)程序設(shè)計(jì)之父”和“先知”（Oracle），他一生致力于把程序設(shè)計(jì)發(fā)展成一門科學(xué)。科學(xué)研究的帥才最重要的素質(zhì)是洞察力，能夠發(fā)現(xiàn)有前景的新領(lǐng)域或在新領(lǐng)域內(nèi)發(fā)現(xiàn)和解決最關(guān)鍵的問題。

查理士·巴赫曼?Charles W. Bachman

貢獻(xiàn)領(lǐng)域：數(shù)據(jù)庫技術(shù)

巴赫曼在數(shù)據(jù)庫方面的主要貢獻(xiàn)有兩項(xiàng)，第一是主持設(shè)計(jì)與開發(fā)了最早的網(wǎng)狀數(shù)據(jù)庫管理系統(tǒng)IDS，而且它的設(shè)計(jì)思想和實(shí)現(xiàn)技術(shù)被后來的許多數(shù)據(jù)庫產(chǎn)品所仿效。

第二是巴赫曼積極推動(dòng)與促成了數(shù)據(jù)庫標(biāo)準(zhǔn)的制定，那就是美國數(shù)據(jù)系統(tǒng)語言委員會(huì) CODASYL 下屬的數(shù)據(jù)庫任務(wù)組 DBTG 提出的網(wǎng)狀數(shù)據(jù)庫模型以及數(shù)據(jù)定義和數(shù)據(jù)操縱語言即 DDL 和 DML 的規(guī)范說明，于 1971 年推出了第一個(gè)正式報(bào)告——DBTG 報(bào)告，成為數(shù)據(jù)庫歷史上具有里程碑意義的文獻(xiàn)。

高德納?Donald E. Knuth

貢獻(xiàn)領(lǐng)域：算法分析、程序設(shè)計(jì)語言的設(shè)計(jì)、程序設(shè)計(jì)

算法和程序設(shè)計(jì)技術(shù)的先驅(qū)者，計(jì)算機(jī)排版系統(tǒng) TeX 和字型設(shè)計(jì)系統(tǒng)METAFONT的發(fā)明者，他因這些成就和大量創(chuàng)造性的影響深遠(yuǎn)的著作而譽(yù)滿全球。

《計(jì)算機(jī)程序設(shè)計(jì)藝術(shù)》堪稱計(jì)算機(jī)科學(xué)理論與技術(shù)的經(jīng)典巨著，被《美國科學(xué)家》雜志列為20世紀(jì)最重要的12本物理科學(xué)類專著之一，與愛因斯坦《相對(duì)論》、狄拉克《量子力學(xué)》、理查·費(fèi)曼《量子電動(dòng)力學(xué)》等經(jīng)典比肩而立，因而榮獲1974年度的圖靈獎(jiǎng)。

艾倫·紐厄爾?Allen Newell

赫伯特·西蒙?Herbert A. Simon

貢獻(xiàn)領(lǐng)域：人工智能，人類認(rèn)知心理學(xué)和列表處理 (list processing)

西蒙和紐厄爾給“物理符號(hào)系統(tǒng)” 下了定義，提出了“物理符號(hào)系統(tǒng)假說”PSSH（Physical Symbol System Hypothesis），成為人工智能中影響最大的符號(hào)主義學(xué)派的創(chuàng)始人和代表人物，而這一學(xué)說則鼓勵(lì)著人們對(duì)人工智能進(jìn)行偉大的探索。這也是兩人在人工智能中做出的最基本的貢獻(xiàn)。不僅如此，西蒙還是1978年諾貝爾經(jīng)濟(jì)學(xué)獎(jiǎng)獲得者。

邁克爾·拉賓?Michael O. Rabin

達(dá)納·斯科特?Dana S. Scott

貢獻(xiàn)領(lǐng)域：非確定性自動(dòng)機(jī)

拉賓和達(dá)納·斯科特共同發(fā)表了“有限自動(dòng)機(jī)與其判定性問題”（Finite Automata and Their Decision Problems）的論文，提出了非確定自動(dòng)機(jī)的觀點(diǎn)，被證明是（計(jì)算理論科學(xué)研究中的）一個(gè)非常重要的概念。拉賓和斯科特的這篇經(jīng)典論文成為了這個(gè)領(lǐng)域后續(xù)研究的源泉。

約翰·巴克斯?John Backus

貢獻(xiàn)領(lǐng)域：高級(jí)編程系統(tǒng)，程序設(shè)計(jì)語言規(guī)范的形式化定義

他提出了BNF（用來定義形式語言語法的記號(hào)法），發(fā)明函數(shù)式編程這個(gè)概念及實(shí)踐該概念的計(jì)劃生育語言，被譽(yù)為“Fortran 語言之父”。

羅伯特·弗洛伊德?Robert W. Floyd

貢獻(xiàn)領(lǐng)域：設(shè)計(jì)高效可靠軟件的方法學(xué)

前后斷言法的創(chuàng)始人，堆排序算法和 Floyd-Warshall 算法的創(chuàng)始人之一，F(xiàn)PL（Floyd-Evans Production Language）語言發(fā)明者之一，F(xiàn)PL 用來編寫計(jì)算機(jī)語言的語法分析程序。

肯尼斯·艾佛森?Kenneth E. Iverson

貢獻(xiàn)領(lǐng)域：程序設(shè)計(jì)語言和數(shù)學(xué)符號(hào)，互動(dòng)系統(tǒng)的設(shè)計(jì)，運(yùn)用 APL 進(jìn)行教學(xué)，程序設(shè)計(jì)語言的理論與實(shí)踐

他發(fā)展了一套數(shù)學(xué)表達(dá)式來操作陣列，以便教授學(xué)生。在 IBM 工作時(shí)，他開發(fā)的數(shù)學(xué)表達(dá)式建立了 APL 語言。

APL 語言是一種表達(dá)能力很強(qiáng)的會(huì)話語言。應(yīng)用范圍包括數(shù)學(xué)統(tǒng)計(jì)、事務(wù)經(jīng)營、信息檢索、報(bào)表生成、財(cái)務(wù)預(yù)算等。它也可用于模擬計(jì)劃管理、圖形處理、正文編輯、計(jì)算機(jī)輔助教學(xué)等方面。

1980年代

東尼·霍爾?C. Antony R. Hoare

貢獻(xiàn)領(lǐng)域：程序設(shè)計(jì)語言的定義與設(shè)計(jì)

他設(shè)計(jì)出了快速排序算法、霍爾邏輯。

快速排序算法，經(jīng)典的排序算法，是對(duì)冒泡排序的一種改進(jìn)。

霍爾邏輯，是東尼·霍爾開發(fā)的形式系統(tǒng)，這個(gè)系統(tǒng)的用途是為了使用嚴(yán)格的數(shù)理邏輯推理來替計(jì)算機(jī)程序的正確性提供一組邏輯規(guī)則。

埃德加·科德?Edgar F. Codd

貢獻(xiàn)領(lǐng)域：數(shù)據(jù)庫系統(tǒng)，尤其是關(guān)系型數(shù)據(jù)庫

在 IBM 工作期間，首創(chuàng)了關(guān)系模型理論。他一生中為計(jì)算機(jī)科學(xué)做出了很多有價(jià)值的貢獻(xiàn)，而關(guān)系模型，作為一個(gè)在數(shù)據(jù)庫管理方面非常具有影響力的基礎(chǔ)理論，仍然被認(rèn)為是他最引人矚目的成就。

史提芬·古克?Stephen A. Cook

貢獻(xiàn)領(lǐng)域：計(jì)算復(fù)雜度

因其在計(jì)算復(fù)雜性理論方面的貢獻(xiàn)，尤其是在奠定 NP 完全性理論基礎(chǔ)上的突出貢獻(xiàn)而榮獲 1982 年度的圖靈獎(jiǎng)。他整理了 NP 完備性的目標(biāo)，亦產(chǎn)生了古克定理——布爾可滿足性問題是 NP 完備的證明。因?yàn)槠湔撐拈_啟了 NP 完備性的研究，令這個(gè)范疇于之后的十年成為計(jì)算機(jī)科學(xué)中最活躍和重要的研究。

肯·湯普森?Ken Thompson

丹尼斯·里奇?Dennis M. Ritchie

貢獻(xiàn)領(lǐng)域：UNⅨ 操作系統(tǒng)和C語言

肯·湯普森與丹尼斯·里奇設(shè)計(jì)了 B 語言、C 語言，之后用 C 語言重寫了 UNIX，安裝于 PDP-11 的機(jī)器之上。不僅如此，2006 年，湯普森進(jìn)入 Google 工作與羅勃特·派克，羅伯特·格瑞史莫共同主導(dǎo)了 Go 語言的開發(fā)。

尼古拉斯·沃斯?Niklaus Wirth

貢獻(xiàn)領(lǐng)域：程序設(shè)計(jì)語言設(shè)計(jì)、程序設(shè)計(jì)

憑借一句話獲得圖靈獎(jiǎng)的 Pascal 之父，讓他獲得圖靈獎(jiǎng)的這句話就是他提出的著名公式：“算法+數(shù)據(jù)結(jié)構(gòu)=程序”。

理查德·卡普?Richard M. Karp

貢獻(xiàn)領(lǐng)域：算法理論，尤其是 NP-完全性理論

主要貢獻(xiàn)有二，其一就是對(duì)計(jì)算復(fù)雜性理論中的術(shù)語進(jìn)行了規(guī)范和統(tǒng)一。把有多項(xiàng)式時(shí)間算法的問題命名為 P 類問題，就是卡普在這篇論文中首次采用的，已為學(xué)術(shù)界所接受并普遍采用，這為學(xué)術(shù)交流帶來了很大的好處。

其二是卡普在刻畫 NP 類中的“最困難”問題類時(shí)，提出了與史提芬·古克歸約不同的另一種歸約方

法，稱作“多項(xiàng)式時(shí)間多一歸約”，有時(shí)直接把它叫做“卡普歸約”。

約翰·霍普克羅夫特John Hopcroft

羅伯特·塔揚(yáng)?Robert Tarjan

貢獻(xiàn)領(lǐng)域：算法和數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)與分析

羅伯特·塔揚(yáng) 以在數(shù)據(jù)結(jié)構(gòu)和圖論上的開創(chuàng)性工作而聞名。他的一些著名的算法包括，塔揚(yáng)最近共同祖先離線算法 ，塔揚(yáng)的強(qiáng)連通分量算法 以及 Link-Cut-Trees 算法等。其中 Hopcroft-Tarjan 平面嵌入算法是第一個(gè)線性時(shí)間平面算法。

塔揚(yáng)也開創(chuàng)了重要的數(shù)據(jù)結(jié)構(gòu)如：斐波納契堆和 splay 樹（splay 發(fā)明者還有Daniel Sleator）。另一項(xiàng)重大貢獻(xiàn)是分析了并查集。他是第一個(gè)證明了計(jì)算反阿克曼函數(shù)的樂觀時(shí)間復(fù)雜度的科學(xué)家。

霍普克羅夫特的研究領(lǐng)域是理論計(jì)算機(jī)科學(xué)。他將計(jì)算機(jī)科學(xué)萌芽階段的零散結(jié)果總結(jié)為具有整體性的系統(tǒng)知識(shí)，提出用漸近分析作為衡量算法性能的主要指標(biāo)，成為當(dāng)今計(jì)算機(jī)科學(xué)的一大支柱。

約翰·科克?John Cocke

貢獻(xiàn)領(lǐng)域：編譯理論，大型系統(tǒng)的體系結(jié)構(gòu)，及精簡(jiǎn)指令集（RISC）計(jì)算機(jī)的開發(fā)。

科克又主持了一個(gè) 801 計(jì)算機(jī)項(xiàng)目，801 計(jì)算機(jī)原是為每小時(shí)能處理 100 萬次呼叫的全數(shù)字電話交換機(jī)設(shè)計(jì)的專用機(jī)。

但實(shí)現(xiàn)中被發(fā)展為一種具有小指令集、每個(gè)指令都是單地址、有固定格式、以流水線方式重疊執(zhí)行、指令高速緩存和數(shù)據(jù)高速緩存則分開并互相獨(dú)立的一種超級(jí)通用小型機(jī)。

科克對(duì)編譯器的代碼生成技術(shù)進(jìn)行了深入研究，提出了一系列優(yōu)化方法，如過程(Procedure)的集成、循環(huán)(loop)的變換、公共子表達(dá)式(common subexpression)的消除、代碼移動(dòng)(code motion)、寄存器定位、存儲(chǔ)單元重用等等，編譯器的質(zhì)量大大提高，使編譯技術(shù)發(fā)展到一個(gè)新階段。

伊凡·蘇澤蘭?Ivan Sutherland

貢獻(xiàn)領(lǐng)域：計(jì)算機(jī)圖形學(xué)

伊凡·蘇澤蘭作為計(jì)算機(jī)圖形學(xué)之父和虛擬現(xiàn)實(shí)之父，發(fā)明的電腦程序“畫板”是人們“曾經(jīng)編寫過的程序中最重要的一份程序”。

事實(shí)上，這是有史以來第一個(gè)交互式繪圖系統(tǒng)。這也是交互式電腦繪圖的開端。但還要花十多年以后，電腦業(yè)和工程界才真正體會(huì)到蘇澤蘭和電腦程序“畫板”帶來的劃時(shí)代變革。

威廉·卡亨?William Morton Kahan

貢獻(xiàn)領(lǐng)域：數(shù)值分析

卡亨，在 Intel 工作期間，主持設(shè)計(jì)與開發(fā)了 8087 芯片，成功地實(shí)現(xiàn)了高速、高效的浮點(diǎn)運(yùn)算部件。

目前，以 80x86 為 CPU 的計(jì)算機(jī)，若需完成科學(xué)與工程計(jì)算方面的課題，有些需配置 8087 這種數(shù)學(xué)協(xié)處理器。一些著名的數(shù)學(xué)軟件包，也必須在配有 8087 數(shù)學(xué)協(xié)處理器的機(jī)器上才能運(yùn)行，因在浮點(diǎn)運(yùn)算標(biāo)準(zhǔn)的制定上的貢獻(xiàn)而獲得圖靈獎(jiǎng)。

1990年代

費(fèi)爾南多·考巴脫?Fernando J. Corbató

貢獻(xiàn)領(lǐng)域：CTSS 和 Multics在科爾巴托領(lǐng)導(dǎo)下成功研制了世界上第一個(gè)分時(shí)系統(tǒng) CTSS，成為計(jì)算機(jī)發(fā)展史上有里程碑性質(zhì)的一個(gè)重大突破，開創(chuàng)了以交互方式由多用戶同時(shí)共享計(jì)算機(jī)資源的新時(shí)代。分時(shí)系統(tǒng)的實(shí)現(xiàn)也是計(jì)算機(jī)真正走向普及的開始。

羅賓·米爾納?Robin Milner

貢獻(xiàn)領(lǐng)域：LCF，ML語言，CCS。在計(jì)算機(jī)程序設(shè)計(jì)語言方面，米爾納和戈頓等人一起提出了形式化邏輯系統(tǒng)的數(shù)學(xué)模型，實(shí)現(xiàn)了他稱之為LCF的一個(gè)系統(tǒng)——“可計(jì)算函數(shù)的邏輯”。另一方面的貢獻(xiàn)是關(guān)于并發(fā)計(jì)算（concurrent computing）和并行計(jì)算（parallel computing）。

巴特勒·蘭普森?Butler W. Lampson
貢獻(xiàn)領(lǐng)域：分布式，個(gè)人計(jì)算環(huán)境。拉姆潑遜在解決計(jì)算機(jī)文件系統(tǒng)和分布式系統(tǒng)的技術(shù)問題上有許多突出的貢獻(xiàn)。例如提出“原子事務(wù)”(atomic transaction)的概念、提出采用“三明治式的提交協(xié)議”(sandwich commit protocol)提高系統(tǒng)可靠性的方案等等。

尤里斯·哈特馬尼斯??Juris Hartmanis

理查德·斯特恩斯?Richard E. Stearns

貢獻(xiàn)領(lǐng)域：計(jì)算復(fù)雜度理論尤里斯·哈特馬尼斯和斯特恩斯合作，對(duì)“香農(nóng)公式”開展了深入的研究，其結(jié)果就是那篇著名的論文“論算法的計(jì)算復(fù)雜性”，這篇論文開辟了計(jì)算機(jī)科學(xué)的一個(gè)新的研究領(lǐng)域，即“計(jì)算復(fù)雜性”，并奠定了它的理論基礎(chǔ)。

愛德華·費(fèi)根鮑姆?Edward Feigenbaum

拉吉·瑞迪?Raj Reddy

貢獻(xiàn)領(lǐng)域：大規(guī)模人工智能系統(tǒng)通過實(shí)驗(yàn)和研究，證明了實(shí)現(xiàn)智能行為的主要手段在于知識(shí)，在多數(shù)實(shí)際情況下是特定領(lǐng)域的知識(shí)，從而最早倡導(dǎo)了"知識(shí)工程"（Knowledge engineering），并使知識(shí)工程成為人工智能領(lǐng)域中取得實(shí)際成果最豐富、影響也最大的一個(gè)分支。

曼紐爾·布盧姆?Manuel Blum

貢獻(xiàn)領(lǐng)域：計(jì)算復(fù)雜度理論，及其在密碼學(xué)和程序校驗(yàn)上的應(yīng)用。在普林斯頓舉行的第五屆開關(guān)電路理論和邏輯設(shè)計(jì)學(xué)術(shù)年會(huì)上發(fā)表了論文《Computational complexity of recursive sequences（遞歸序列的計(jì)算復(fù)雜性）》，論文中首次使用了“計(jì)算復(fù)雜性”?這一術(shù)語，由此開辟了計(jì)算機(jī)科學(xué)中的一個(gè)新領(lǐng)域，并為之奠定了理論基礎(chǔ)。

阿米爾·伯努利?Amir Pnueli
貢獻(xiàn)領(lǐng)域：時(shí)序邏輯，程序與系統(tǒng)驗(yàn)證。在計(jì)算機(jī)科學(xué)中引入時(shí)序邏輯的開創(chuàng)性的研究工作，和其在編程語言和系統(tǒng)驗(yàn)證方面的突出貢獻(xiàn)。把時(shí)態(tài)邏輯引入計(jì)算機(jī)科學(xué)，線性時(shí)態(tài)邏輯是對(duì)普通命題邏輯(propositional logic)的擴(kuò)充，但這一擴(kuò)充卻意義重大，因?yàn)檫@使系統(tǒng)具有了處理隨時(shí)間變化而改變其值的動(dòng)態(tài)變?cè)ǚQ為時(shí)序或時(shí)態(tài)變?cè)┑哪芰?。在時(shí)態(tài)邏輯中，時(shí)間的結(jié)構(gòu)可以有線性、分支、離散、連續(xù)，基于時(shí)間點(diǎn)或時(shí)區(qū)的這樣幾種不同情況，可視具體應(yīng)用背景而定。

道格拉斯·恩格爾巴特?Douglas Engelbart

貢獻(xiàn)領(lǐng)域：交互計(jì)算鼠標(biāo)之父，人機(jī)交互的先鋒，開發(fā)了超文本系統(tǒng)、網(wǎng)絡(luò)計(jì)算機(jī)，以及圖形用戶界面的先驅(qū)；并致力于倡導(dǎo)運(yùn)用計(jì)算機(jī)和網(wǎng)絡(luò)，來協(xié)同解決世界上日益增長的緊急而又復(fù)雜的問題。

詹姆斯·尼古拉·格雷?James Gray

貢獻(xiàn)領(lǐng)域：數(shù)據(jù)庫與事務(wù)處理格雷在事務(wù)處理技術(shù)上的創(chuàng)造性思維和開拓性工作，使他成為該技術(shù)領(lǐng)域公認(rèn)的權(quán)威。他的研究成果反映在他發(fā)表的一系列論文和研究報(bào)告之中，事務(wù)處理技術(shù)雖然誕生于數(shù)據(jù)庫研究。但對(duì)于分布式系統(tǒng)，client/server 結(jié)構(gòu)中的數(shù)據(jù)管理與通信，對(duì)于容錯(cuò)和高可靠性系統(tǒng)，同樣具有重要的意義。

弗雷德里克·布魯克斯?Frederick P. Brooks,Jr.
貢獻(xiàn)領(lǐng)域：計(jì)算機(jī)體系結(jié)構(gòu)，操作系統(tǒng)，軟件工程。主持與領(lǐng)導(dǎo)了被稱為人類從原子能時(shí)代進(jìn)入信息時(shí)代的標(biāo)志的 IBM/360 系列計(jì)算機(jī)的開發(fā)工作，取得輝煌成功，從而名噪一時(shí)。他的研究領(lǐng)域除了計(jì)算機(jī)體系結(jié)構(gòu)、機(jī)器語言設(shè)計(jì)、軟件工程和大型項(xiàng)目管理以外，還包括動(dòng)態(tài)體系結(jié)構(gòu)的可視化、人機(jī)接口、交互計(jì)算機(jī)圖形學(xué)等，十分廣泛。

2000年代

姚期智?Andrew Chi-Chih Yao

貢獻(xiàn)領(lǐng)域：計(jì)算理論，包括偽隨機(jī)數(shù)生成，密碼學(xué)與通信復(fù)雜度。

最先提出量子通信復(fù)雜性，基本上完成了量子計(jì)算機(jī)的理論基礎(chǔ)，之后提出分布式量子計(jì)算模式，成為分布式量子算法和量子通訊協(xié)議安全性的基礎(chǔ)。

研究方向包括計(jì)算理論及其在密碼學(xué)和量子計(jì)算中的應(yīng)用。在三大方面具有突出貢獻(xiàn)：

（1）創(chuàng)建理論計(jì)算機(jī)科學(xué)的重要次領(lǐng)域：通訊復(fù)雜性和偽隨機(jī)數(shù)生成計(jì)算理論；

（2）奠定現(xiàn)代密碼學(xué)基礎(chǔ)，在基于復(fù)雜性的密碼學(xué)和安全形式化方法方面有根本性貢獻(xiàn)；

（3）解決線路復(fù)雜性、計(jì)算幾何、數(shù)據(jù)結(jié)構(gòu)及量子計(jì)算等領(lǐng)域的開放性問題并建立全新典范。

奧利-約翰·達(dá)爾Ole-Johan Dahl

克利斯登·奈加特Kristen Nygaard

貢獻(xiàn)領(lǐng)域：面向?qū)ο缶幊?/p>

克利斯登·奈加特與奧利-約翰·達(dá)爾開發(fā)了最早的面向?qū)ο蟮某绦蛟O(shè)計(jì)語言 SIMULA-I（1961年—1965年）和 SIMULA-67，首次引入了面向?qū)ο蟪绦蛟O(shè)計(jì)語言的基本概念：對(duì)象、類、繼承、virtual quantities、多線程（準(zhǔn)并行的）的程序執(zhí)行。

羅納德·李維斯特?Ronald L. Rivest

阿迪·薩莫爾?Adi Shamir

倫納德·阿德曼?Leonard M. Adleman

貢獻(xiàn)領(lǐng)域：公鑰密碼學(xué)（RSA加密算法）

三人共同創(chuàng)立了 RSA 算法，即非對(duì)稱加密算法。RSA 算法是當(dāng)前在互聯(lián)網(wǎng)傳輸、銀行以及信用卡產(chǎn)業(yè)中被廣泛使用的安全基本機(jī)制。

艾倫·凱?Alan Kay

貢獻(xiàn)領(lǐng)域：面向?qū)ο缶幊?/p>

艾倫發(fā)明了 Smalltalk 編程語言，Smalltalk 吸取了 Simula 的 class 的概念，并發(fā)展出圖形使用者接口（GUI），即是蘋果麥金塔電腦的原型。

Smalltalk 被公認(rèn)為歷史上第二個(gè)面向?qū)ο蟮某绦蛟O(shè)計(jì)語言，和第一個(gè)真正的集成開發(fā)環(huán)境。

文特·瑟夫?Vinton G. Cerf

羅伯特·卡恩?Robert E. Kahn

貢獻(xiàn)領(lǐng)域：TCP/IP 協(xié)議

羅伯特·卡恩發(fā)明了 TCP 協(xié)議，并與文特·瑟夫一起發(fā)明了 IP 協(xié)議，這兩個(gè)協(xié)議成為全世界因特網(wǎng)傳輸資料所用的最重要的技術(shù)，因在互聯(lián)網(wǎng)領(lǐng)域先驅(qū)性的貢獻(xiàn)，獲得圖靈獎(jiǎng)。

彼得·諾爾?Peter Naur

貢獻(xiàn)領(lǐng)域：ALGOL 60 語言

開發(fā)了 BNF 范式，改進(jìn)了編程語言，也投入了 ALGOL 60 的開發(fā)工作，ALGOL 60 是許多后來的程序設(shè)計(jì)語言，包括今天那些必不可少的軟件工程工具的原型，由于諾爾在定義 ALGOL 60 這種程序設(shè)計(jì)語言方面的先驅(qū)性工作而頒發(fā)給他圖靈獎(jiǎng)。

法蘭西斯·艾倫?Frances E. Allen

貢獻(xiàn)領(lǐng)域：優(yōu)化編譯器

法蘭西斯·艾倫致力于研究并行計(jì)算機(jī)的編譯問題，在以往的工作中促成了許多目前廣泛應(yīng)用于商業(yè)編譯器中的程序優(yōu)化算法和技術(shù)，奠定了現(xiàn)代優(yōu)化編譯器和自動(dòng)并行執(zhí)行技術(shù)的基礎(chǔ)。

愛德蒙·克拉克?Edmund M. Clarke

艾倫·愛默生?Allen Emerson

約瑟夫·斯發(fā)基斯?Joseph Sifakis

貢獻(xiàn)領(lǐng)域：開發(fā)自動(dòng)化方法檢測(cè)計(jì)算機(jī)硬件和軟件中的設(shè)計(jì)錯(cuò)誤

模型檢查理論基礎(chǔ)是 1981年由斯發(fā)基斯在法國、克拉克和 愛默生在美國分別獨(dú)立提出的。

模型檢查（Model-Checking），是用數(shù)學(xué)算法來驗(yàn)證一個(gè)軟件或硬件系統(tǒng)設(shè)計(jì)是否滿足預(yù)設(shè)的需求，工業(yè)檢測(cè)方面應(yīng)用包括：芯片檢測(cè)、通信協(xié)議、外部設(shè)備主控軟件、嵌入式系統(tǒng)（如在飛機(jī)、火車、火箭、衛(wèi)星或移動(dòng)電話）以及安全算法等。?

芭芭拉·利斯科夫?Barbara Liskov

貢獻(xiàn)領(lǐng)域：編程語言和系統(tǒng)設(shè)計(jì)的實(shí)踐與理論

芭芭拉·利斯科夫領(lǐng)導(dǎo)了多個(gè)重要項(xiàng)目，包括第一個(gè)支持?jǐn)?shù)據(jù)抽象的面向?qū)ο缶幊陶Z言 CLU 的設(shè)計(jì)與實(shí)現(xiàn)，第一個(gè)支持分布式程序?qū)崿F(xiàn)的高級(jí)語言 Argus，面向?qū)ο髷?shù)據(jù)庫系統(tǒng)Thor，還有最近的Byzantine分布式容錯(cuò)系統(tǒng)。

其中，CLU 語言對(duì)現(xiàn)代主流語言如 C++/Java/Python/Ruby/C# 都有比較深遠(yuǎn)的影響。而她從這些實(shí)際項(xiàng)目中提煉出來的數(shù)據(jù)抽象思想，已經(jīng)成為軟件工程中最重要的精髓之一。

查爾斯·薩克爾?Charles Thacker

貢獻(xiàn)領(lǐng)域：幫助設(shè)計(jì)、制造第一款現(xiàn)代 PC

查爾斯·薩克爾被稱為“現(xiàn)代 PC之父”，主持或者參與了 Alto、以太網(wǎng)、激光打印機(jī)等的設(shè)計(jì)與開發(fā)。其中，Alto 是今天現(xiàn)代個(gè)人電腦的鼻祖，配有鼠標(biāo)、圖形化用戶界面，支持局域網(wǎng)聯(lián)網(wǎng)。

萊斯利·瓦倫特?Leslie Valiant

貢獻(xiàn)領(lǐng)域：對(duì)眾多計(jì)算理論所做的變革性的貢獻(xiàn)

萊斯利·瓦倫特在機(jī)器學(xué)習(xí)、計(jì)算復(fù)雜度理論、并行和分散計(jì)算等領(lǐng)域都有突出貢獻(xiàn)，推動(dòng)了人工智能技術(shù)的發(fā)展。1984 年提出的概率近似正確模型，攻破了機(jī)器學(xué)習(xí)中的一個(gè)基礎(chǔ)問題，即「系統(tǒng)如何處理錯(cuò)誤」。

猶大·伯爾?Judea Pearl

貢獻(xiàn)領(lǐng)域：人工智能

猶大·伯爾提出-概率推理與因果關(guān)系推理的演算模式，是人工智能領(lǐng)域基礎(chǔ)性的貢獻(xiàn)。豐富了 AI 的范式，為 AI 后續(xù)發(fā)展奠定了一種方向性的基礎(chǔ)。

莎菲·戈德瓦塞爾?Shafi Goldwasser

希爾維奧·米卡利?Silvio Micali

貢獻(xiàn)領(lǐng)域：由于在密碼學(xué)和復(fù)雜理論領(lǐng)域做出創(chuàng)舉性工作

莎菲·戈德瓦塞爾和希爾維奧·米卡利共同開創(chuàng)了可證明安全性領(lǐng)域的先河，奠定了現(xiàn)代密碼學(xué)理論的數(shù)學(xué)基礎(chǔ)。通過形式化加密安全是可計(jì)算的而不是絕對(duì)的概念，他們創(chuàng)造出了將密碼學(xué)從藝術(shù)變?yōu)橐婚T科學(xué)的數(shù)據(jù)架構(gòu)。

萊斯利·蘭伯特?Leslie Lamport

貢獻(xiàn)領(lǐng)域：在提升計(jì)算機(jī)系統(tǒng)的可靠性及穩(wěn)定性領(lǐng)域的杰出貢獻(xiàn)

萊斯利·蘭伯特的分布式計(jì)算理論奠定了這門學(xué)科的基礎(chǔ)，他在 1978 年發(fā)表的論文《分布式系統(tǒng)內(nèi)的時(shí)間、時(shí)鐘事件順序》成為計(jì)算機(jī)科學(xué)史上被引用最多的文獻(xiàn)，并且他為“并發(fā)系統(tǒng)的規(guī)范與驗(yàn)證”研究貢獻(xiàn)了核心原理。

邁克爾·斯通布雷克?Michael Stonebraker

貢獻(xiàn)領(lǐng)域：對(duì)現(xiàn)代數(shù)據(jù)庫系統(tǒng)底層的概念與實(shí)踐所做出的基礎(chǔ)性貢獻(xiàn)

邁克爾·斯通布雷克，因在關(guān)系數(shù)據(jù)庫管理系統(tǒng)（RDBMS）和數(shù)據(jù)倉庫（DWH）的創(chuàng)建、開發(fā)和改進(jìn)方面的基礎(chǔ)工作而聞名于世。

惠特菲爾德·迪菲?Whitfield Diffie

馬丁·赫爾曼?Martin Hellman

貢獻(xiàn)領(lǐng)域：非對(duì)稱加密的創(chuàng)始人

迪菲與赫爾曼發(fā)表了論文《密碼學(xué)新動(dòng)向》，在其中闡述了關(guān)于公開密鑰加密算法的新構(gòu)想，即在一個(gè)完全開放的信道內(nèi)，人們無需事先約定，便可進(jìn)行安全的信息傳輸。

發(fā)明了迪菲-赫爾曼密鑰交換協(xié)議，它可以讓雙方在完全沒有對(duì)方任何預(yù)先信息的條件下通過不安全信道創(chuàng)建起一個(gè)密鑰，這個(gè)密鑰可以在后續(xù)的通訊中作為對(duì)稱密鑰來加密通訊內(nèi)容。該協(xié)議保護(hù)著我們每天的互聯(lián)網(wǎng)通信和數(shù)萬億的金融交易。

蒂姆·伯納斯·李?Tim Berners-Lee

貢獻(xiàn)領(lǐng)域：萬維網(wǎng)

蒂姆·伯納斯·李 在 1989 年發(fā)明了萬維網(wǎng)，1991 年，他做出第一個(gè)圖形界面網(wǎng)頁瀏覽器，1994 年，他確定了超鏈接的標(biāo)準(zhǔn)，至此網(wǎng)頁和信息之間的切換才像“隨意門”一樣快速直接，沒有界限。

約翰·軒尼詩?John Hennessy

大衛(wèi)·帕特森?David Patterson

貢獻(xiàn)領(lǐng)域：讓微處理器這一概念流行起來

約翰·軒尼詩和大衛(wèi)·帕特森開發(fā)了RISC微處理器，并合著了《計(jì)算機(jī)體系結(jié)構(gòu)：量化研究方法》一書，將 RISC 理念散播到了學(xué)術(shù)界和產(chǎn)業(yè)界，這本書依然是編程人員、計(jì)算機(jī)工程師和處理器設(shè)計(jì)師必讀的一本書。

他們的研究對(duì)很多芯片的發(fā)展都產(chǎn)生了巨大的影響，從 Arm 到 Alpha 再到 PowerPC，這些芯片被廣泛運(yùn)用在如今的智能手機(jī)、物聯(lián)網(wǎng)、平板電腦、服務(wù)器等設(shè)備中

約舒亞·本希奧?Yoshua Bengio

杰弗里·欣頓?Geoffrey Hinton

揚(yáng)·萊坎??Yann LeCun

貢獻(xiàn)領(lǐng)域：在人工智能深度學(xué)習(xí)方面的貢獻(xiàn)

“深度學(xué)習(xí)三巨頭”開發(fā)了深度學(xué)習(xí)領(lǐng)域的概念基礎(chǔ)，并通過實(shí)驗(yàn)驗(yàn)證了令人驚訝的現(xiàn)象，近年來，深度學(xué)習(xí)方法促進(jìn)計(jì)算機(jī)視覺、語音識(shí)別、自然語言處理和機(jī)器人技術(shù)等應(yīng)用領(lǐng)域取得極大突破。

帕特里克· 漢拉汗?Patrick M. Hanrahan

艾德文·卡特姆?Edwin E. Catmull

貢獻(xiàn)領(lǐng)域：3D計(jì)算機(jī)圖形學(xué)

他們是皮克斯動(dòng)畫工作室的元老級(jí)人物，在皮克斯期間創(chuàng)作的動(dòng)畫及相關(guān)技術(shù)，對(duì)未來的電影和游戲 CG 特效產(chǎn)生了革命性影響。

自 1966 年以來，圖靈獎(jiǎng)共 72 位得主，分布在幾十個(gè)小領(lǐng)域，從按國籍分，美國學(xué)者最多，歐洲學(xué)者偶見之，而華人學(xué)者僅有姚期智博士一人。

隨著我國政府、高校、互聯(lián)網(wǎng)公司在計(jì)算機(jī)技術(shù)上的不斷投入，也許在不久的將來，會(huì)有更多的中國人才獲得圖靈獎(jiǎng)，成為站在計(jì)算機(jī)科學(xué)界的頂端的偉大人物。

正是有圖靈這樣的天才的出現(xiàn)，才能這一扇計(jì)算機(jī)科學(xué)的大門。

書籍推薦

頂級(jí)技術(shù)作家 Charles Petzold 耗時(shí)多年編寫

了解圖靈生平及論文最優(yōu)秀的作品，沒有之一

圖靈獎(jiǎng)得主高德納創(chuàng)作的計(jì)算機(jī)科學(xué)理論與技術(shù)的經(jīng)典巨著，被《美國科學(xué)家》雜志列為20世紀(jì)最重要的12本物理科學(xué)類專著之一，與愛因斯坦《相對(duì)論》、狄拉克《量子力學(xué)》、理查·費(fèi)曼《量子電動(dòng)力學(xué)》等經(jīng)典比肩而立。

本書由圖靈獎(jiǎng)得主約翰·軒尼詩和大衛(wèi)·帕特森合著，堪稱計(jì)算機(jī)體系結(jié)構(gòu)的“圣經(jīng)”，是計(jì)算機(jī)體系結(jié)構(gòu)方向的學(xué)生的必讀教材。全書系統(tǒng)地介紹了計(jì)算機(jī)系統(tǒng)的設(shè)計(jì)基礎(chǔ)、指令集系統(tǒng)結(jié)構(gòu)、流水線與指令級(jí)并行技術(shù)、層次化存儲(chǔ)系統(tǒng)與存儲(chǔ)設(shè)備、互連網(wǎng)絡(luò)以及多處理器系統(tǒng)等重要內(nèi)容，講述了使用“量化研究方法”進(jìn)行計(jì)算設(shè)計(jì)，以及多種可以實(shí)現(xiàn)并行的技術(shù)。