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

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

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

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

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

組圖詳細(xì)的介紹了圖靈獎每位獲獎?wù)叩某删停约矮@獎的時間，在此向這些偉大的先驅(qū)致敬，也向那些默默無聞的學(xué)者致敬。

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

1983年獲獎，創(chuàng)建了Unix和Plan 9操作系統(tǒng)。（圖左1）

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

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

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

1986年，因在算法及數(shù)據(jù)結(jié)構(gòu)的設(shè)計和分析中所取得的決定性成果，獲得圖靈獎。

1986年獲獎，研究能夠長期保存信息的數(shù)據(jù)結(jié)構(gòu)，塔揚(yáng)稱他們設(shè)計出來的這種數(shù)據(jù)結(jié)構(gòu)為“持久性數(shù)據(jù)結(jié)構(gòu)” （persistentdatastructure）。

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

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

1990年獲獎，貢獻(xiàn)領(lǐng)域：CTSS和Multics

1991年獲得圖靈獎。在計算機(jī)程序設(shè)計語言方面，米爾納和戈頓等人一起提出了形式化邏輯系統(tǒng)的數(shù)學(xué)模型，實現(xiàn)了他稱之為LCF的一個系統(tǒng)——“可計算函數(shù)的邏輯”。另一方面的貢獻(xiàn)是關(guān)于并發(fā)計算（concurrentcomputing）和并行計算（parallelcomputing）的。

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

1993年獲獎，貢獻(xiàn)方面：計算復(fù)雜度理論

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

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

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

1996年授予Amir Pnueli 圖靈獎，以表彰其在計算機(jī)科學(xué)中引入時序邏輯的開創(chuàng)性的研究工作，和其在編程語言和系統(tǒng)驗證方面的突出貢獻(xiàn)。

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

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

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