亚洲福利视频网站_亚洲美女av黄_91蜜桃婷婷狠狠久久综合9色_日韩一区二区电影在线

今年上映的《模仿游戲》，再現了圖靈破解Enigma謎機、受到化學迫害等短暫而又傳奇的一生，讓更多人了解到圖靈對人類文明進步的偉大貢獻，電影也奪得金球獎、奧斯卡金像獎等多項提名和獎項。

圖靈獎（A.M。 Turing Award），由美國計算機協會（ACM）于1966年設立，取名來自計算機科學的先驅，這部電影（模仿游戲）的主角——英國科學家阿蘭·麥席森·圖靈。由于圖靈獎對獲獎條件要求極高，評獎程序又是極嚴，一般每年只獎勵一名計算機科學家，只有極少數年度有兩名合作者或在同一方向作出貢獻的科學家共享此獎。因此它有有“計算機界的諾貝爾獎”之稱。

獎金金額不算太高，設獎初期為2萬美元，1989年起增到2萬5千美元，獎金通常由計算機界的一些大企業提供（通過與ACM簽訂協議）。目前圖靈獎由英特爾和google公司贊助，獎金為250，000美元。

從1966年到2015年的48屆圖靈獎，共計有61名科學家獲此殊榮，其中美國學者最多，此外還有英國、瑞士、荷蘭、以色列等國少數學者。

組圖詳細的介紹了圖靈獎每位獲獎者的成就，以及獲獎的時間，在此向這些偉大的先驅致敬，也向那些默默無聞的學者致敬。

1982年獲獎，Stephen加盟多倫多大學并工作直到現在。他是NP完全性理論的奠基人，1971年發表Cook定理奠定了NP完全理論的基礎而獲圖靈獎。Cook是對計算復雜性理論有突出貢獻的計算機科學家之一。

1983年獲獎，創建了Unix和Plan 9操作系統。（圖左1）

1983年獲獎，丹尼斯·里奇與肯·湯普遜兩人發展C語言，同時發展了Unix操作系統，C語言發明人、UNIX之父。（圖左2）

1984年獲獎，讓他獲得圖靈獎的這句話就是他提出的著名公式：“算法+數據結構=程序”。 這個公式對計算機科學的影響程度足以類似物理學中愛因斯坦的“E=MC^2”——一個公式展示出了程序的本質。Pascal之父，他創建與實現了Pascal語言——當時世界上最受歡迎的語言之一。

1985年獲獎，貢獻領域：算法理論，尤其是NP-完全性理論。

1986年，因在算法及數據結構的設計和分析中所取得的決定性成果，獲得圖靈獎。

1986年獲獎，研究能夠長期保存信息的數據結構，塔揚稱他們設計出來的這種數據結構為“持久性數據結構” （persistentdatastructure）。

1987年獲獎，科克的貢獻和成就首先是在高性能計算機的體系結構方面。科克是IBM60年代推出的晶體管大型計算機，也是世界上第一個“超級計算機”（Supercomputer）型號STRETCH的技術負責人。Stretch包含15萬只晶體管，其速度比IBM上一個主流計算機型號IBM704快75倍。STRETCH首創的靈活的尋址技術、指令提前執行（即流水線技術）、差錯校正碼ECC（ErrorCorrectingCode）等至今仍被廣泛使用著。Stretch共生產了8臺，被洛斯阿拉莫斯（LosAlamos）國家實驗室（這是研制出了世界上第一顆原子彈的著名的原子能研究中心）等機構所采用。

1988年獲獎，計算機圖形學之父和虛擬現實之父，伊凡·蘇澤蘭發明的電腦程序“畫板”是人們“曾經編寫過的程序中最重要的一份程序”。事實上，這是有史以來第一個交互式繪圖系統。這也是交互式電腦繪圖的開端。

1990年獲獎，貢獻領域：CTSS和Multics

1991年獲得圖靈獎。在計算機程序設計語言方面，米爾納和戈頓等人一起提出了形式化邏輯系統的數學模型，實現了他稱之為LCF的一個系統——“可計算函數的邏輯”。另一方面的貢獻是關于并發計算（concurrentcomputing）和并行計算（parallelcomputing）的。

1992年度的圖靈獎授予當時任DEC公司高級研究員和主任設計師的巴特勒·拉姆潑遜（ButlerWrightLampson）。

1993年獲獎，貢獻方面：計算復雜度理論

1994年獲獎，他的重大貢獻在于通過實驗和研究，證明了實現智能行為的主要手段在于知識，在多數實際情況下是特定領域的知識。 1994年度的圖靈獎由兩位人工智能專家分享，其一是聲名卓著的愛德華·費根鮑姆（Edward Albert Feigenbaum）；另一位是后起之秀的雷伊·雷蒂（Raj Reddy）。

1994年獲獎，他的重大貢獻在于通過實驗和研究，證明了實現智能行為的主要手段在于知識，在多數實際情況下是特定領域的知識。 1994年度的圖靈獎由兩位人工智能專家分享，其一是聲名卓著的愛德華·費根鮑姆（Edward Albert Feigenbaum）；另一位是后起之秀的雷伊·雷蒂（Raj Reddy）。

密碼系統和程序檢驗先驅，計算復雜性理論的主要奠基人之一，第三十屆（1995年）圖靈獎得主。

1996年授予Amir Pnueli 圖靈獎，以表彰其在計算機科學中引入時序邏輯的開創性的研究工作，和其在編程語言和系統驗證方面的突出貢獻。

1997年獲獎，最著名的就是鼠標的專利。另外他的小組是人機交互的先鋒，開發了超文本系統、網絡計算機，以及圖形用戶界面的先驅；并致力于倡導運用計算機和網絡，來協同解決世界上日益增長的緊急而又復雜的問題。他被冠為“鼠標之父”。

1998年獲獎，他提出了資料方塊、鎖定顆粒等概念。他亦有份開發Windows Live Local。

1999年獲得圖靈獎，他在20世紀60年代初只有29歲時就主持與領導了被稱為人類從原子能時代進入信息時代的標志的IBM/360系列計算機的開發工作，取得輝煌成功，從而名噪一時。以后他作為硬件和軟件的雙重專家和出色的教育家始終活躍在計算機舞臺上，在計算機技術的諸多領域中都作出了巨大的貢獻。