上傳人：鐘***

認(rèn)證信息

認(rèn)證類型：個(gè)人認(rèn)證

認(rèn)證主體：鐘**（實(shí)名認(rèn)證）

IP屬地：四川

IP屬地：四川 上傳時(shí)間：2022-07-03 格式：DOCX 頁數(shù)：5 大?。?71.06KB 積分：6 舉報(bào) 版權(quán)申訴

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

2、。計(jì)算機(jī)將組成評選對被提名者進(jìn)行嚴(yán)格的審核，并最終確定當(dāng)年的獲獎(jiǎng)?wù)摺?歷屆獲得者11966 年獲得者：（A. J. Perlis）PhD, MIT; Prof, Yale (was Prof at CMU) (deceased)ALCOL 語言和計(jì)算機(jī)科學(xué)的“催生者”21967 年（Maurice V. Wilkes）獲得者：PhD, Cambridge; Prof, Cambridge 世界上第一臺程序式計(jì)算機(jī) EDSAC 的研制者31968 年獲得者：（Richard W. Hammin）Prof, Navaltgraduate School (was at Bell) (deceased

3、) 發(fā)明糾錯(cuò)碼的大數(shù)學(xué)家和信息學(xué)41969 年獲得者：（Marvky）PhD, Princeton, Prof, MIT “人工智能之父”和框架理論的創(chuàng)立者51970 年獲得者：（J.H. Wilkon）BS, Cambridge; staff, National Physical Laboratory, London 數(shù)值分析和研制 ACE 計(jì)算機(jī)的功臣61971 年獲得者：（John McCarthy）PhD, Princeton; Prof, Stanford“人工智能之父”和 LISP 語言的發(fā)明人71972 年（Edsger W. Dijkstra）獲得者：斯加PhD, U Amst

4、erdam; Prof, UT Austin 最先察覺“goto 有害”的計(jì)算機(jī)科學(xué)大師81973 年獲得者：曼 （Charles W. Baan）staff, Honeywell “網(wǎng)狀數(shù)據(jù)庫之父”91974 年獲得者：（Donald E. Knuth）PhD, Caltech; Prof, Stanford 經(jīng)典巨著計(jì)算機(jī)程序設(shè)計(jì)的藝術(shù)的年輕作者101975 年獲得者：和紐Allen Newell - PhD, Stanford; Prof, CMU (deceased) Herbert A. Simon - PhD, Chicago; Prof, CMU (deceased) 人工智能符

5、號主義學(xué)派的創(chuàng)始人111976 年獲得者：和Michael O. Rabin - PhD, Princeton; Prof, HarvardDana S. Scott - PhD, Princeton; Prof, CMU 非確定性有限狀態(tài)自理論的開創(chuàng)者121977 年獲得者：（John Backus）BS, Columbia; staff, IBMFORTRAN 和獲得者：BNF 的發(fā)明者131978 年（Robert W. Floyd）BS, Chicago; Prof, Stanford前后斷言法的創(chuàng)始人141979 年獲得者：（Kenneth E. Iverson）大器晚成的科學(xué)家，A

6、PL 的發(fā)明人151980 年獲得者：霍爾（C. Anthony R. Hoare）)Prof, Oxford(now at從QUICKSORT、CASE 到程序設(shè)計(jì)語言的公理化161981 年科德（Edgar F. Codd）獲得者：PhD, Michigan; staff, IBM “關(guān)系數(shù)據(jù)庫之父”171982 年獲得者： （Steven A. Cook）PhD, Harvard; Prof, U Toronto NP 完全性理論的奠基人181983 年獲得者：和Ken Thompson - MS, Berkeley; staff, Bell-Labs Dennis M. Ritchie

7、 - PhD, Harvard; staff, Bell-Labs C 和 UNIX 的發(fā)明者191984 年獲得者：尼（Niklaus Wirth）PhD, Berkeley; Prof, ETH Zurich PASCAL 之父及結(jié)構(gòu)化程序設(shè)計(jì)的首創(chuàng)者201985 年獲得者：卡普（Richard M. Karp）PhD, Harvard; Prof, Berkeley 發(fā)明“分枝限界法”的三棲學(xué)者211986 年獲得者：特和John E. Hopcroft - PhD, Stanford; Prof, CornellRobert E. Tarjan - PhD, Stanford; Pro

8、f, Princeton 碩果的算法設(shè)計(jì)大師221987 年staff, IBM獲得者：（John Cocke） RISC 概念的首創(chuàng)者231988 年獲得者：（Ivan E. Sutherland）IPhD, MIT; staff, Sun 計(jì)算機(jī)圖形學(xué)之父24獲得者：（William V. Kahan）PhD, U Toronto; Prof, Berkeley 浮點(diǎn)計(jì)算的先驅(qū)251991 年獲得者：（Robilner）Prof, Cambridge (was at U Edinburgh) PhD, MIT; Prof, MIT 標(biāo)準(zhǔn)元語言 ML 的開發(fā)者261992 年獲得者：（But

9、ler Lampson）PhD, Berkeley; staff, 從 Alto 系統(tǒng)的首席科學(xué)家到微軟的首席技術(shù)官271993 年獲得者：斯哈尼斯和斯PhD, Caltech; Prof, CornellRichard E. Stearns - PhD, Princeton; Prof, SUNY Albany 計(jì)算復(fù)雜性理論的主要奠基人281994 年獲得者：和Raj Reddy - PhD, Stanford; Prof, CMU Edward Feigenbaum (PhD, CMU; Prof, Stanford) 大型人工智能系統(tǒng)的開拓者291995 年獲得者：（ Manuel B

10、lum）PhD, MIT; Prof, Berkeley計(jì)算復(fù)雜性理論的主要奠基人之一301996 年（Amir Pnueli）獲得者：PhD, Weizmanntitute; Prof, NYU把時(shí)態(tài)邏輯引入計(jì)算機(jī)科學(xué)311997 年（Douglas Engelbart）獲得者：PhD, Berkeley; staff, SRI 鼠標(biāo)器的發(fā)明人和超文本的先驅(qū)321998 年獲得者：（James Gray）PhD, Berkeley; staff, 數(shù)據(jù)庫技術(shù)和“事務(wù)處理”331999 年獲得者：（Frederick P. Brooks, Jr.）PhD, Harvard; Prof, UNC

11、 IBM 360 系列計(jì)算機(jī)的和總指揮342000 年獲得者：（Andrew Chi-Chih Yao）PhD, UIUC; Prof, Princeton (now at) 對計(jì)算理論做出了諸多“根本性的、意義自創(chuàng)立以來獲得該獎(jiǎng)項(xiàng)的首位華裔學(xué)者的”貢獻(xiàn)352001 年獲得者：Ole-Johan DahlKristen Nygaard - Profs, U Oslo在設(shè)計(jì)編程語言SIMULA I 和SIMULA 67 時(shí)產(chǎn)生的基礎(chǔ)性想法是面象技術(shù)的肇始。362002 年獲得者：Ronald L. Rivest - PhD, Stanford; MIT Adi Shamir - PhD, Wei

12、zmann; WeizmannLeonard M. Adelman - PhD, Berkeley; USC 在公共密匙算法上所做的杰出貢獻(xiàn)(RSA 算法是當(dāng)前在互聯(lián)網(wǎng)傳輸、產(chǎn)業(yè)中被廣泛使用的安全基本機(jī)制)。以及372003 年獲得者：AlayPhD, Utah; HP Labs (was at Xerox PARC)象的動(dòng)態(tài)計(jì)算機(jī)程序設(shè)計(jì)語言 Smalltalk.發(fā)明第一個(gè)完全面382004 年獲得者：Von G. Cerf 和 Robert E. Kahn在計(jì)算機(jī)網(wǎng)絡(luò)領(lǐng)域的先鋒性工作,包括設(shè)計(jì)和實(shí)現(xiàn)了 TCP/IP 協(xié)議棧獲得者：Peter Naur設(shè)計(jì) Algol60 程序設(shè)計(jì)語言。Al

13、gol60 語言定義清晰，是許多現(xiàn)代程序設(shè)計(jì)語言的原型。392005 年402006 年獲得者：Frlen 對于優(yōu)化編譯器技術(shù)的實(shí)踐做出的先驅(qū)性貢獻(xiàn)，這些技術(shù)為現(xiàn)代優(yōu)化編譯器和自動(dòng)并行執(zhí)行打下了基礎(chǔ)。412007 年獲得者：Edmund M.Clarke、Allen Emerson 和 Joseph Sifakis開發(fā)自動(dòng)化方法檢測計(jì)算機(jī)硬件和軟件中的設(shè)計(jì)錯(cuò)誤。422008 年獲得者：Barbara Liskov編程語言和系統(tǒng)設(shè)計(jì)的實(shí)踐與理論。432009 年獲得者：Charlescker幫助設(shè)計(jì)、制造第一款現(xiàn)代 PC。442010 年獲得者：LesValiant對眾多計(jì)算理論所做的性的貢獻(xiàn)。452011 年獲得者：Jude人工智能arl462012 年獲得者：Shafi Goldwasser、Sil