歷屆圖靈獎獲獎?wù)?/p>

查爾斯·薩克爾查爾斯·薩克爾（CharlesP.Thacker，1943年2月26日－2017年6月12日），美國計(jì)算機(jī)科學(xué)家，美國工程院院士，美國藝術(shù)與科學(xué)院院士，計(jì)算機(jī)協(xié)會會士，微軟技術(shù)院士。因設(shè)計(jì)與實(shí)現(xiàn)了第一臺現(xiàn)代個(gè)人電腦XeroxAlto而榮獲2009年圖靈獎。2017年6月12日在美國加州帕洛阿爾托市逝世，享年74歲個(gè)人履歷CharlesP.Thacker（昵稱Chuck）是計(jì)算機(jī)先驅(qū)之一。美國工程院院士，美國藝術(shù)與科學(xué)院院士，ACM會士。在微軟工作，是微軟全球十幾位技術(shù)院士之一。除了是一位出色的計(jì)算機(jī)系統(tǒng)設(shè)計(jì)師之外，他也是杰出的研發(fā)管理者。1943年2月26日，他出生于美國加州帕薩迪納。1968年在加州大學(xué)伯克利分校物理系讀書時(shí)，他加入了Genie項(xiàng)目。這個(gè)項(xiàng)目不久發(fā)展為伯克利計(jì)算機(jī)公司（簡稱BCC），開發(fā)了BCC500分時(shí)系統(tǒng)。Thacker領(lǐng)導(dǎo)了中心存儲器和微處理器的設(shè)計(jì)。但公司商業(yè)上并不成功。羅賓·米爾納羅賓·米爾納（RobinMilner），英國計(jì)算機(jī)科學(xué)家。生于1934年1月13日，1991年獲得世界計(jì)算機(jī)領(lǐng)域最高獎“圖靈獎”。在計(jì)算機(jī)程序設(shè)計(jì)語言方面，米爾納和戈頓等人一起提出了形式化邏輯系統(tǒng)的數(shù)學(xué)模型，實(shí)現(xiàn)了他稱之為LCF的一個(gè)系統(tǒng)——“可計(jì)算函數(shù)的邏輯”。另一方面的貢獻(xiàn)是關(guān)于并發(fā)計(jì)算（concurrentcomputing）和并行計(jì)算（parallelcomputing）。1958年從劍橋大學(xué)國王學(xué)院畢業(yè)，之后的第一個(gè)工作是教師，然后在Ferranti公司當(dāng)程序員。回到學(xué)術(shù)界，先后在City大學(xué)，Swansea大學(xué)，斯坦福大學(xué)任職。1973年回到英國愛丁堡大學(xué)，在愛丁堡大學(xué)任職期間，他開發(fā)了函數(shù)式編程語言，ML，并和他的同事一起完成了LCF的開發(fā)。在離開愛丁堡前，羅賓·米爾納向現(xiàn)在的愛丁堡大學(xué)信息學(xué)院提供了一筆捐款并成立了每年一次在愛丁堡大學(xué)信息學(xué)院舉行的以他名字名名的"羅賓·米爾納講座"，被邀請的演講者都是對理論計(jì)算機(jī)科學(xué)有重大貢獻(xiàn)的學(xué)者。1995年，羅賓·米爾納回到母校劍橋，并擔(dān)任劍橋大學(xué)計(jì)算機(jī)實(shí)驗(yàn)室主任，現(xiàn)為劍橋大學(xué)計(jì)算機(jī)實(shí)驗(yàn)室教授。帕特里克·漢拉汗PatrickM.Hanrahan，皮克斯動畫工作室創(chuàng)始員工、斯坦福大學(xué)計(jì)算機(jī)圖形學(xué)實(shí)驗(yàn)室教授。2020年3月18日，國際計(jì)算機(jī)協(xié)會宣布，PatrickM.Hanrahan和EdwinE.Catmull為2019年圖靈獎獲得者。在加入皮克斯之前，曾在NYIT的計(jì)算機(jī)圖形學(xué)實(shí)驗(yàn)室短暫工作過。皮克斯動畫工作室創(chuàng)始員工、斯坦福大學(xué)計(jì)算機(jī)圖形學(xué)實(shí)驗(yàn)室教授。2020年3月18日，國際計(jì)算機(jī)協(xié)會宣布，PatrickM.Hanrahan和EdwinE.Catmull為2019年圖靈獎獲得者，以表彰他們對3D計(jì)算機(jī)圖形學(xué)的貢獻(xiàn)，以及這些技術(shù)對電影制作和計(jì)算機(jī)生成圖像等應(yīng)用的革命性影響。約翰·科克約翰·科克是從機(jī)械到數(shù)學(xué)、又從數(shù)學(xué)轉(zhuǎn)到計(jì)算機(jī)方向上來的學(xué)者。他生于1925年，1946年在杜克大學(xué)(DukeUniversity)獲得機(jī)械工程學(xué)士學(xué)位，干了幾年實(shí)際工作以后，又回到母校讀研究生，于1956年取得數(shù)學(xué)博士學(xué)位。之后，他進(jìn)入IBM，從此開始了他的計(jì)算機(jī)生涯并為IBM計(jì)算機(jī)市場的開拓和計(jì)算機(jī)科學(xué)技術(shù)的發(fā)展，尤其是RISC架構(gòu)和編譯器優(yōu)化，做出了巨大的貢獻(xiàn)。約翰·科克生于1925年，1946年在杜克大學(xué)(DukeUniversity)獲得機(jī)械工程學(xué)士學(xué)位，干了幾年實(shí)際工作以后，又回到母校讀研究生，于1956年取得數(shù)學(xué)博士學(xué)位。之后，他進(jìn)入IBM，從此開始了他的計(jì)算機(jī)生涯并為IBM計(jì)算機(jī)市場的開拓和計(jì)算機(jī)科學(xué)技術(shù)的發(fā)展做出了巨大的貢獻(xiàn)。由于學(xué)過機(jī)械和數(shù)學(xué)，基礎(chǔ)扎實(shí)、知識面廣，加上科克興趣廣泛，善于動腦，他在IBM許多產(chǎn)品的設(shè)計(jì)開發(fā)和技術(shù)問題的解決中都起過至關(guān)重要的作用，有眾多的發(fā)明創(chuàng)造。在沃特森研究中心，在很長一段時(shí)間里，每當(dāng)人們有疑難問題需要解決的時(shí)候，自然就會說：“找約翰討論去”。大衛(wèi)·帕特森大衛(wèi)·帕特森（DavidPatterson），1947年11月16日出生于美國伊利諾伊州，2017年圖靈獎得主，美國國家科學(xué)院院士，美國國家工程院院士，美國藝術(shù)與科學(xué)院院士，ACMFellow，IEEEFellow，美國科學(xué)促進(jìn)會會士。大衛(wèi)·帕特森于1969年獲得加州大學(xué)洛杉磯分校數(shù)學(xué)專業(yè)學(xué)士學(xué)位；1970年獲得加州大學(xué)洛杉磯分校計(jì)算機(jī)科學(xué)專業(yè)碩士學(xué)位；1976年獲得加州大學(xué)洛杉磯分校計(jì)算機(jī)科學(xué)專業(yè)博士學(xué)位；1977年受聘為加州大學(xué)伯克利分校助理教授；1990年當(dāng)選為IEEEFellow；1993年當(dāng)選為美國國家工程院院士；1994年當(dāng)選為ACMFellow；2006年當(dāng)選為美國國家科學(xué)院院士和美國藝術(shù)與科學(xué)院院士；2007年當(dāng)選為美國科學(xué)促進(jìn)會會士；2016年受聘為谷歌杰出工程師；2017年獲得ACM圖靈獎。大衛(wèi)·帕特森致力于計(jì)算機(jī)體系結(jié)構(gòu)與工程、計(jì)算機(jī)體系結(jié)構(gòu)與系統(tǒng)：性能、安全、RISC-V操作系統(tǒng)和絡(luò)方面的研究。1947年11月16日，大衛(wèi)·帕特森出生于美國伊利諾伊州。約翰·軒尼詩約翰·軒尼詩（JohnLeRoyHennessy），1952年9月22日出生于紐約亨廷頓，2017年圖靈獎得主，美國國家科學(xué)院院士，美國國家工程院院士，美國藝術(shù)與科學(xué)院院士，ACMFellow，IEEEFellow，Atheros公司、MIPS公司聯(lián)合創(chuàng)始人，斯坦福大學(xué)第十任校長。約翰·軒尼詩于1973年獲得維拉諾瓦大學(xué)電氣工程學(xué)學(xué)士學(xué)位；1975年獲得紐約州立大學(xué)石溪分校計(jì)算機(jī)科學(xué)碩士學(xué)位；1977年獲得紐約州立大學(xué)石溪分校計(jì)算機(jī)科學(xué)博士學(xué)位，同年受聘為斯坦福大學(xué)電氣工程系助理教授；1983年晉升為斯坦福大學(xué)電氣工程系副教授；1986年受聘為威拉德和伊內(nèi)茲·克爾·貝爾電氣工程和計(jì)算機(jī)科學(xué)教授；1992年當(dāng)選為美國國家工程院院士；1992年至1998年擔(dān)任硅圖形計(jì)算機(jī)系統(tǒng)公司首席架構(gòu)師；1995年當(dāng)選為美國藝術(shù)與科學(xué)院院士；1996年至1999年擔(dān)任斯坦福大學(xué)電子工程系主任；1999年至2000年擔(dān)任斯坦福大學(xué)教務(wù)長；2000年至2016年擔(dān)任斯坦福大學(xué)校長；2002年當(dāng)選為美國國家科學(xué)院院士；2016年被任命為斯坦福大學(xué)奈特-軒尼詩學(xué)者項(xiàng)目主任；2017年獲得圖靈獎。約翰·霍普克羅夫特約翰·霍普克羅夫特（JohnEdwardHopcroft），1939年10月7日出生于美國西雅圖，計(jì)算機(jī)科學(xué)家，中國科學(xué)院外籍院士，美國國家科學(xué)院院士，美國國家工程院院士，美國藝術(shù)與科學(xué)院院士，美國康奈爾大學(xué)教授，北京大學(xué)前沿計(jì)算研究中心主任。約翰·霍普克羅夫特于1961年獲得西雅圖大學(xué)電子工程學(xué)士學(xué)位；1962年獲得斯坦福大學(xué)電子工程碩士學(xué)位；1964年獲得斯坦福大學(xué)電子工程博士學(xué)位；1987年當(dāng)選為美國藝術(shù)與科學(xué)院院士；1989年當(dāng)選為美國國家工程院院士；1994年—2001年任康奈爾大學(xué)工程學(xué)院院長；2009年當(dāng)選為美國國家科學(xué)院院士；2017年當(dāng)選為中國科學(xué)院外籍院士。約翰·霍普克羅夫特主要從事理論計(jì)算機(jī)科學(xué)領(lǐng)域的研究。青年約翰·霍普克羅夫特1939年10月7日，約翰·霍普克羅夫特（JohnEdwardHopcroft）出生于美國西雅圖。1961年，獲得西雅圖大學(xué)電子工程學(xué)士學(xué)位。艾倫·凱艾倫·凱（1940年5月17日—），英文原名AlanCurtisKay，美國計(jì)算機(jī)科學(xué)家，在面向?qū)ο缶幊毯痛翱谑綀D形用戶界面方面作出了先驅(qū)性貢獻(xiàn)。2003年獲得圖靈獎。擔(dān)任Viewpoints研究院院長，加州大學(xué)伯克利分校兼職教授。曾任Apple公司院士，惠普公司資深院士。艾倫·凱在1940年，艾倫·凱出生于麻省的Sprinfield。童年在澳大利亞度過。二次大戰(zhàn)時(shí)，回到美國，住在麻省海德萊城外的約翰遜農(nóng)舍。母親是音樂家。1949年舉家遷往長島，1961年在丹佛講解吉他課程。1968年秋，與SeymourPapert認(rèn)識，開始學(xué)習(xí)Logo語言。為了發(fā)展Dynabook,艾倫甚至發(fā)明了Smalltalk編程語言，Samlltalk吸取了Simula的class的概念，并發(fā)展出圖形使用者接口（GUI），即是蘋果麥金塔電腦的原型。1970年，鮑勃·泰勒成立PARC研究中心，艾倫·凱成為第一個(gè)雇員，他建立學(xué)習(xí)研究工作組（LRC），并參與Alto計(jì)算機(jī)的開發(fā)。1972年，PARC發(fā)布了Smalltalk的第一個(gè)版本。1979年，凱邀請喬布斯、JeffRaskin來到PARC參觀，喬布斯對視窗圖形用戶界面印象深刻。1983年，凱離開全錄，擔(dān)任Atari公司首席科學(xué)家兼副總裁。杰弗里·辛頓杰弗里·辛頓（GeoffreyHinton），1947年12月6日出生于英國溫布爾登，2018年圖靈獎得主，英國皇家學(xué)會院士，加拿大皇家學(xué)會院士，美國國家科學(xué)院外籍院士，多倫多大學(xué)名譽(yù)教授。杰弗里·辛頓于1970年獲得劍橋大學(xué)實(shí)驗(yàn)心理學(xué)學(xué)士學(xué)位；1976年受聘為蘇塞克斯大學(xué)認(rèn)知科學(xué)研究項(xiàng)目研究員；1978年獲得愛丁堡大學(xué)人工智能學(xué)博士學(xué)位。1978年至1980年擔(dān)任加州大學(xué)圣地亞哥分校認(rèn)知科學(xué)系訪問學(xué)者；1980年至1982年擔(dān)任英國劍橋MRC應(yīng)用心理學(xué)部科學(xué)管理人員；1982年至1987年歷任卡內(nèi)基梅隆大學(xué)計(jì)算機(jī)科學(xué)系助理教授、副教授；1987年受聘為多倫多大學(xué)計(jì)算機(jī)科學(xué)系教授；1996年當(dāng)選為加拿大皇家學(xué)會院士；1998年當(dāng)選為英國皇家學(xué)會院士；1998年至2001年擔(dān)任倫敦大學(xué)學(xué)院蓋茨比計(jì)算神經(jīng)科學(xué)部創(chuàng)始主任；2001年至2014年擔(dān)任多倫多大學(xué)計(jì)算機(jī)科學(xué)系教授；2016年至2023年擔(dān)任谷歌副總裁兼工程研究員；2023年從谷歌辭職。阿迪·薩莫爾阿迪·薩莫爾（AdiShamir），2002年圖靈獎獲得者、以色列魏茲曼科學(xué)研究所教授、美國外籍科學(xué)院院士、現(xiàn)代密碼學(xué)奠基人之一。AdiShamir早年在以色列魏茨曼科學(xué)研究所獲得碩士、博士學(xué)位，1977至1980年在美國麻省理工學(xué)院學(xué)習(xí)后返回以色列，發(fā)表了許多文章，獲得了多項(xiàng)獎勵(lì)，如美國計(jì)算機(jī)學(xué)院Kannelakis獎、以色列數(shù)學(xué)協(xié)會Erdos獎、IEEEW.r獎、UAP科學(xué)獎、梵蒂岡PUISXI金獎以及IEEEKojiKobayashi計(jì)算機(jī)與通信獎等等。阿迪·薩莫爾阿迪·薩莫爾（AdiShamir）教授是當(dāng)前著名的密碼學(xué)專家，AdiShamir早年在以色列魏茨曼科學(xué)研究所獲得碩士、博士學(xué)位，1977至1980年在美國麻省理工學(xué)院學(xué)習(xí)后返回以色列，發(fā)表了許多文章，獲得了多項(xiàng)獎勵(lì)，如美國計(jì)算機(jī)學(xué)院Kannelakis獎、以色列數(shù)學(xué)協(xié)會Erdos獎、IEEEW.r獎、UAP科學(xué)獎、梵蒂岡PUISXI金獎以及IEEEKojiKobayashi計(jì)算機(jī)與通信獎等等。杰弗里·戴維·烏爾曼杰弗里·戴維·烏爾曼（JeffreyDavidUllman），2020年圖靈獎得主，美國國家科學(xué)院院士，美國國家工程院院士，美國藝術(shù)與科學(xué)院院士。杰弗里·戴維·烏爾曼于1963年獲得哥倫比亞大學(xué)工程數(shù)學(xué)學(xué)士學(xué)位；1966年獲得普林斯頓大學(xué)電氣工程學(xué)博士學(xué)位；1966年至1969年任職于貝爾實(shí)驗(yàn)室；1969年受聘為普林斯頓大學(xué)副教授；1974年晉升為普林斯頓大學(xué)教授；1979年受聘為斯坦福大學(xué)教授；1989年當(dāng)選為美國國家工程院院士；1990年至1994年擔(dān)任斯坦福大學(xué)計(jì)算機(jī)科學(xué)系主任；1994年當(dāng)選為ACMFellow；1994年至2002年，擔(dān)任斯坦福大學(xué)W.Ascherman工程學(xué)教授；2003年以斯坦福大學(xué)名譽(yù)教授身份退休；2012年當(dāng)選為美國藝術(shù)與科學(xué)院院士；2020年當(dāng)選為美國國家科學(xué)院院士。杰弗里·戴維·烏爾曼致力于數(shù)據(jù)庫理論、信息集成、算法優(yōu)化、編譯器等方面的研究。1942年11月22日，杰弗里·戴維·烏爾曼出生于紐約市。羅納德·李維斯特羅納德·李維斯特（RonaldL.Rivest）生于1947年，美國國家工程院院士，美國國家科學(xué)院院士，美國計(jì)算機(jī)協(xié)會院士，國際密碼研究學(xué)會院士，美國藝術(shù)與科學(xué)院院士，現(xiàn)任麻省理工學(xué)院（MIT）電子和計(jì)算機(jī)科學(xué)系Viterbi講座教授。他是MIT計(jì)算機(jī)和人工智能實(shí)驗(yàn)室的成員，并領(lǐng)導(dǎo)著其中的信息安全和隱私中心。1977年從斯坦福大學(xué)獲得計(jì)算機(jī)博士學(xué)位。主要從事密碼安全、計(jì)算機(jī)安全算法的研究，他發(fā)明了RSA加密算法，這個(gè)算法在信息安全中獲得最大的突破，這一成果也使他在2002年得到圖靈獎。他擔(dān)任國家密碼學(xué)會的負(fù)責(zé)人。羅納德·李維斯特李維斯特教授1969年從耶魯大學(xué)獲得數(shù)學(xué)學(xué)士學(xué)位，1974年從斯坦福大學(xué)獲得計(jì)算機(jī)博士學(xué)位。李維斯特主要從事密碼學(xué)、計(jì)算機(jī)和絡(luò)安全和算法的研究。他和AdiShamir和LenAdleman一起發(fā)明了RSA公鑰算法，也是RSA數(shù)據(jù)安全公司的聯(lián)合創(chuàng)始人。并且和Shamir、Adleman分享了2002年度美國計(jì)算機(jī)協(xié)會（ACM）頒發(fā)的圖靈獎。他在密碼設(shè)計(jì)和密碼分析方面有極其豐富的經(jīng)驗(yàn)，擔(dān)任國際密碼研究協(xié)會的負(fù)責(zé)人。艾倫·愛默生艾倫·愛默生（ErnestAllenEmerson），是EdmundClarke在哈佛大學(xué)的博士生。因其突出的在應(yīng)用數(shù)學(xué)方面的突出成績而獲得圖靈獎.個(gè)人經(jīng)歷艾倫·愛默生著名的“模型檢測”的論文就是Emerson與導(dǎo)師Clarke合作的。Emerson是從德州奧斯丁分校獲得的其數(shù)學(xué)本科學(xué)位，并從哈佛大學(xué)應(yīng)用數(shù)學(xué)系獲得其博士學(xué)位。Emerson是得克薩斯大學(xué)奧斯汀分校教授，曾任ACMTransactionsonComputationalLogic,FormalAspectsofComputing,和FormalMethodsinSystemsDesign等雜志的編委。他擁有得克薩斯大學(xué)奧斯汀分校數(shù)學(xué)學(xué)士和碩士學(xué)位，哈佛大學(xué)應(yīng)用數(shù)學(xué)學(xué)位。他的主頁透露，自己之所以走上形式化驗(yàn)證的道路，是受了1970年代中期圖靈獎得主TonyHoare的一篇CACM論文"ProofofProgram:Find"的啟發(fā)。他位列CiteSeer引用次數(shù)最多的前1%計(jì)算機(jī)科學(xué)家。圖片暫時(shí)無法顯示，請下載后嘗試伊凡·愛德華·蘇澤蘭1988年的圖靈獎授予當(dāng)時(shí)在SunMicrosystem公司任高級研究員、有“計(jì)算機(jī)圖形學(xué)之父”譽(yù)稱的伊萬·薩瑟蘭(IvanEdwardSutherland)。薩瑟蘭1938年5月16日生于內(nèi)布拉斯加州的中西部小城市黑斯廷斯(Hastings)。20世紀(jì)50年代薩瑟蘭上中學(xué)時(shí)，計(jì)算機(jī)剛問世不久，是一種神秘而又令人向往的機(jī)器，吸引了許多年輕人的視線，薩瑟蘭就是其中之一。他用很大的熱情自己動手設(shè)計(jì)與裝配過一些用繼電器工作的計(jì)算裝置，這些裝置雖然簡單而幼稚，卻使薩瑟蘭積累了一些最基本的計(jì)算機(jī)經(jīng)驗(yàn)。伊萬·薩瑟蘭1959年，薩瑟蘭在卡內(nèi)基—梅隆大學(xué)獲得電氣工程學(xué)土學(xué)位，第二年又在加州理工學(xué)院獲得碩士學(xué)位。這兩所大學(xué)在電氣工程/計(jì)算機(jī)方面都有很高的水平，有一批知名的教授、學(xué)者。薩瑟蘭在那里打下了很好的專業(yè)基礎(chǔ)，而且，一到假期，他就到IBM公司去打工，積累了相當(dāng)?shù)膶?shí)踐經(jīng)驗(yàn)。圖片暫時(shí)無法顯示，請下載后嘗試法蘭西斯·艾倫法蘭西斯·艾倫（FrancesE.Allen，1932年8月4日-2020年8月4日）是一位計(jì)算機(jī)科學(xué)家，作為一名編譯器優(yōu)化領(lǐng)域的先驅(qū)，她的成就主要包括編譯器的基本原理、代碼優(yōu)化和并行編譯等。1954年，法蘭西斯·伊麗莎白·艾倫（FrancesE.Allen）畢業(yè)于美國紐約州立大學(xué)奧爾巴尼分校，并獲得學(xué)士學(xué)位。她在1980年代早期創(chuàng)立了并行翻譯（ParallelTRANslation，PTRAN）研究組，致力于研究并行計(jì)算機(jī)的編譯問題。該小組的工作在編譯器的并行化方面處于世界領(lǐng)先的位置。她在這些項(xiàng)目中的工作促成了許多目前廣泛應(yīng)用于商業(yè)編譯器中的程序優(yōu)化算法和技術(shù)。艾倫在IBM業(yè)界有廣泛影響，并于1989年成為第一位女性IBMFellow。她也是IBM技術(shù)研究院（IBMAcademyofTechnology）的主席。1997年，艾倫被選入WITI名人堂。2002年，艾倫從IBM退休。溫頓·瑟夫溫頓·瑟夫，又譯作溫特·瑟夫（VintCerf），TCP/IP協(xié)議的發(fā)明者，現(xiàn)為Google副總裁兼首席互聯(lián)顧問。許多人把文頓·瑟夫看作“互聯(lián)之父”之一，他是TCP/IP協(xié)議和互聯(lián)架構(gòu)的聯(lián)合設(shè)計(jì)者之一。在1994年加入MCI之前，文頓·瑟夫曾擔(dān)任國家研究計(jì)劃(CNRI)公司的副總裁。1994年12月，《人物》雜志將文頓·瑟夫選為當(dāng)年“25個(gè)最令人著迷的人”之一。聯(lián)合國數(shù)字合作高級別小組成員。2020年3月30日，溫特·瑟夫在推特透露自己新型冠狀病毒檢測呈陽性，確診為新冠肺炎。溫頓·瑟夫1965年，獲斯坦福大學(xué)計(jì)算機(jī)科學(xué)學(xué)士學(xué)位1970年，獲加利福尼亞大學(xué)洛杉磯分校計(jì)算機(jī)科學(xué)碩士學(xué)位1972年，獲加利福尼亞大學(xué)洛杉磯分校計(jì)算機(jī)科學(xué)博士學(xué)位2005年－至今，Google副總裁兼首席互聯(lián)顧問1994年－2005，MCI負(fù)責(zé)架構(gòu)和技術(shù)的資深副總裁阿米爾·伯努利阿米爾·伯努利（AmirPnueli），出生于1941年4月22日于Nahalal，以色列。AmirPnueli年青時(shí)代從以色列Technion-IsraelInstituteofTechnology技術(shù)學(xué)院獲得其數(shù)學(xué)學(xué)士學(xué)位，從以色列WeizmannInstituteofScience獲得其應(yīng)用數(shù)學(xué)博士學(xué)位。Pnueli的博士論文工作是關(guān)于CacluationofTidesintheOcean。阿米爾·伯努利阿米爾·伯努利（AmirPnueli）ACM會士，1941年4月22日出生于以色列。在斯坦福大學(xué)和IBMWaston研究中心從事博士后的研究工作其間，Pnueli將研究工作方向轉(zhuǎn)移到計(jì)算機(jī)科學(xué)領(lǐng)域。1999年，Pnueli加入美國紐約大學(xué)計(jì)算機(jī)科學(xué)系并出任教授。1996年授予AmirPnueli圖靈獎，以表彰其在計(jì)算機(jī)科學(xué)中引入時(shí)序邏輯的開創(chuàng)性的研究工作，和其在編程語言和系統(tǒng)驗(yàn)證方面的突出貢獻(xiàn)。埃德加·科德埃德加·科德，1923年8月23日出生于英格蘭多塞特郡的波特蘭，計(jì)算機(jī)科學(xué)博士。.埃德加·弗蘭克·科德，在牛津的埃克塞特學(xué)院研習(xí)數(shù)學(xué)與化學(xué)后,他作為一名英國皇家空軍的飛行員參加了第二次世界大戰(zhàn)。1948年，他來到紐約，加入了IBM公司，成為一名數(shù)學(xué)程序員。1953年，出于對參議員約瑟夫·麥卡錫的不滿,他遷往加拿大渥太華居住了十年.之后他回到密歇根大學(xué)并取得了計(jì)算機(jī)科學(xué)博士學(xué)位。兩年后，科德去往IBM公司位于圣何塞的阿爾馬登研究中心工作。1981年,科德因在關(guān)系型數(shù)據(jù)庫方面的貢獻(xiàn)獲得了圖靈獎.2003年4月18日,科德因心臟病在佛羅里達(dá)威廉姆斯島的家中去世,享年79歲.埃德加·弗蘭克·科德（英文:EdgarFrank"Ted"Codd）（1923年8月23日－2003年4月18日）是一位英國計(jì)算機(jī)科學(xué)家。他為關(guān)系型數(shù)據(jù)庫理論做出了奠基性的貢獻(xiàn)。圖片暫時(shí)無法顯示，請下載后嘗試莎菲·戈德瓦塞爾莎菲·戈德瓦塞爾（ShafriraGoldwasser，1958年—），麻省理工學(xué)院電子工程和計(jì)算機(jī)科學(xué)教授、以色列魏茨曼科學(xué)研究學(xué)院（Weizmann）數(shù)學(xué)科學(xué)教授，美國工程院院士。1984年，獲得加利福尼亞大學(xué)伯克利分校計(jì)算機(jī)博士。2012年，她和希爾維奧·米卡利（SilvioMicali）因其密碼學(xué)的杰出工作獲得計(jì)算機(jī)界最高獎圖靈獎（TuringAward）。2021年3月，獲得第23屆世界杰出女科學(xué)家成就獎。。1979年，獲得美國卡耐基梅隆大學(xué)數(shù)學(xué)本科學(xué)位。1984年，獲得加利福尼亞大學(xué)伯克利分校計(jì)算機(jī)博士。2012年，她和伯克利校友、麻省理工學(xué)院同事希爾維奧·米卡利（SilvioMicali）因其密碼學(xué)的杰出工作獲得計(jì)算機(jī)界最高獎圖靈獎2021年3月，獲得第23屆世界杰出女科學(xué)家成就獎。羅伯特·梅特卡夫羅伯特·梅特卡夫（RobertMetcalfe，1946年-），出生于紐約布魯克林。美國科技先驅(qū)，發(fā)明了以太，成立3Com。在1973年，Metcalfe在XeroxPARC工作時(shí)，他發(fā)明了以太，一個(gè)可以在短矩離使得電腦可以互相連通的標(biāo)準(zhǔn)。在1979年，Metcalfe離開PARC，成立3Com，一家電腦絡(luò)設(shè)備的制造商。在1980年，以發(fā)展局域路，特別是以太，的貢獻(xiàn)，他得到由AssociationforComputingMachineary所頒發(fā)的GraceMurrayHopper獎。在1990年，Metcalfe從3Com退休并且開始一段為期10年的的發(fā)行者和絡(luò)權(quán)威者的生涯，為InfoWorld撰寫絡(luò)專欄。他于2001年成為資本投資家，是PolarisVenturePartners的一員。HeisadirectorofPopTech,anexecutivetechnologyconferencehecofoundedin1997.他以兩個(gè)學(xué)士學(xué)位畢業(yè)于麻省理工學(xué)院，一個(gè)是電機(jī)工程學(xué)位，另一個(gè)麻省理工學(xué)院史隆商學(xué)院的工業(yè)管理學(xué)位。他在哈佛大學(xué)以一篇有關(guān)于封包交換的論文取得博士學(xué)位。那篇論文實(shí)際上是他在MIT為一個(gè)名為MAC的計(jì)劃工作時(shí)寫好的。tarjanRobertTarjan，計(jì)算機(jī)科學(xué)家，以LCA、強(qiáng)連通分量等算法聞名。他擁有豐富的商業(yè)工作經(jīng)驗(yàn)，1985年開始任教于普林斯頓大學(xué)。RobertTarjan他還在多所大學(xué)擔(dān)任學(xué)術(shù)職務(wù)，如：康奈爾大學(xué)（1972-1973年），加州大學(xué)伯克利分校（1973-1975），斯坦福大學(xué)（1974-1980），紐約大學(xué)（1981-1985）。他也加入過NEC研究所（1989-1997），并在美國麻省理工學(xué)院（1996年）擔(dān)任VisitingScientist。Tarjan：他曾在AT&T貝爾實(shí)驗(yàn)室（1980-1989），浩信科技（1997-2001），康柏（2002年）和惠普（2006年至今）工作。他曾加入ACM和IEEE委員會，并曾為幾家期刊的編輯。RobertTarjan出生在波莫納，加利福尼亞州。他的父親是一個(gè)專業(yè)兒童精神科醫(yī)生，以前在國家醫(yī)院任職。還是孩子的RobertTarjan就閱讀了大量的科學(xué)小說，從此對天文學(xué)產(chǎn)生興趣，并夢想成為一名天文學(xué)家。他在ScientificAmerican雜志上看完MartinGardner的數(shù)學(xué)游戲后又對數(shù)學(xué)產(chǎn)生了興趣。他的一位中學(xué)老師發(fā)現(xiàn)了他對數(shù)學(xué)的興趣，從八年級就開始培育他的數(shù)學(xué)能力。之后Robert開始深入研究數(shù)學(xué)。楊立昆楊立昆（YannLeCun），于1960年出生于法國巴黎附近，擔(dān)任Facebook首席人工智能科學(xué)家和紐約大學(xué)教授，2018年圖靈獎（TuringAward）得主。2021年8月1日，出版圖書《科學(xué)之路：人，機(jī)器與未來》。YannLeCun于1960年出生于法國巴黎附近，于1983年獲得法國高等電子與電工技術(shù)工程師學(xué)校（ESIEEParis)的學(xué)士學(xué)位，以及PierreetMarieCurie大學(xué)的計(jì)算機(jī)科學(xué)博士學(xué)位。1987年至1988年，YannLeCun是多倫多大學(xué)GeoffreyHinton實(shí)驗(yàn)室的博士后研究員。2013年，YannLeCun與YoshuaBengio共同創(chuàng)辦了學(xué)習(xí)代表國際會議（InternationalConferenceonLearningRepresentations），該會議通過了出版后公開審查程序。擔(dān)任Facebook首席人工智能科學(xué)家和紐約大學(xué)教授。羅杰·瑞迪羅杰·瑞迪（RajReddy），1937年6月出生于印度安得拉邦，美國國籍，美國國家工程院院士，美國藝術(shù)與科學(xué)院院士，中國工程院外籍院士，印度國家科學(xué)院外籍院士，印度國家工程院外籍院士，卡內(nèi)基梅隆大學(xué)計(jì)算機(jī)科學(xué)學(xué)院計(jì)算機(jī)科學(xué)與機(jī)器人專業(yè)MozahBintNasser講座教授。羅杰·瑞迪于1958年獲得印度馬德拉斯大學(xué)學(xué)士學(xué)位；1960年獲得澳大利亞新南威爾士大學(xué)工程碩士學(xué)位；1966年獲得斯坦福大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位；1966年—1969年任斯坦福大學(xué)計(jì)算機(jī)科學(xué)助理教授；1969年任卡內(nèi)基梅隆大學(xué)計(jì)算機(jī)科學(xué)副教授；1973年晉升為正教授；1979年—1991年任卡內(nèi)基梅隆大學(xué)機(jī)器人研究所所長；1984年成為講座教授，同年當(dāng)選為美國國家工程院院士；1991年—1999年擔(dān)任卡內(nèi)基梅隆大學(xué)計(jì)算機(jī)科學(xué)學(xué)院院長；2009年當(dāng)選為中國工程院外籍院士。羅杰·瑞迪的研究興趣包括人機(jī)交互研究與人工智能。1937年6月，羅杰·瑞迪出生于印度中南部安得拉邦。約舒亞·本希奧約舒亞·本希奧，加拿大蒙特利爾大學(xué)教授。2019年3月，因在人工智能深度學(xué)習(xí)方面的貢獻(xiàn)獲得2018年度圖靈獎。羅伯特·卡恩羅伯特·卡恩（RobertElliotKahn，1938年12月23日－），常稱鮑勃·卡恩（BobKahn），美國計(jì)算機(jī)科學(xué)家。發(fā)明了TCP協(xié)議，并與溫頓·瑟夫一起發(fā)明了IP協(xié)議；這兩個(gè)協(xié)議成為全世界因特傳輸資料所用的最重要的技術(shù)。他也被稱作“互聯(lián)之父”。羅伯特·卡恩1960年在紐約城市大學(xué)獲得電機(jī)工程學(xué)士學(xué)位，1962和1964年在普林斯頓大學(xué)獲得碩士和博士學(xué)位。畢業(yè)在貝爾實(shí)驗(yàn)室工作后在美國麻省理工學(xué)院做助教。接下來bbn（貝拉尼克和紐曼公司）工作，并在那里幫助建立了早期的工業(yè)管理程序。羅伯特·卡恩,現(xiàn)代全球互聯(lián)發(fā)展史上最著名的科學(xué)家之一，TCP/IP協(xié)議合作發(fā)明者，互聯(lián)雛形Arpanet絡(luò)系統(tǒng)設(shè)計(jì)者，“信息高速公路”概念創(chuàng)立人。美國國家工程協(xié)會(NationalAcademyofEngineering)成員，美國電氣與電子工程師IEEE學(xué)會(IEEE)fellow，美國人工智能協(xié)會(AmericanAssociationforArtificialIntelligence)fellow，美國計(jì)算機(jī)協(xié)會(ACM)fellow，前美國總統(tǒng)科技顧問。奧利-約翰·達(dá)爾奧利-約翰·達(dá)爾（英語：Ole-JohanDahl，1931年10月12日－2002年1月29日），生于挪威曼達(dá)爾，著名計(jì)算機(jī)科學(xué)家。他與克里斯汀·尼加德（KristenNygaard）一起通過設(shè)計(jì)編程語言SimulaI和Simula67，產(chǎn)生了面向?qū)ο缶幊坛霈F(xiàn)至關(guān)重要的想法。他被認(rèn)為是“面向?qū)ο缶幊獭敝浮W利-約翰·達(dá)爾與克利斯登·奈加特共同創(chuàng)造了Simula，被認(rèn)為是面向?qū)ο笾浮Ｒ虼素暙I(xiàn)，他與克利斯登·奈加特共同獲得2001年圖靈獎與2002年約翰·馮諾依曼獎。面向?qū)ο缶幊淌沁@個(gè)時(shí)代的主要編程范式。這個(gè)范式出現(xiàn)的基礎(chǔ)是核心概念，如對象、類和具有虛擬量的繼承，所有這些都清楚地建立在OleJohanDahl和KristenNygaard的離散事件模擬語言SimulaI和一般編程語言Simula67中。這些對象將數(shù)據(jù)、過程和協(xié)作操作序列方面集成到一個(gè)非常通用且功能強(qiáng)大的統(tǒng)一實(shí)體中。彼得·諾爾彼得·諾爾（英語：PeterNaur，1928年10月25日－），生于丹麥腓特烈斯貝，計(jì)算機(jī)科學(xué)家。他開發(fā)了BNF范式，改進(jìn)了編程語言。他也投入了ALGOL60的開發(fā)工作。曾任哥本哈根大學(xué)教授，為2005年圖靈獎得主，也是唯一一位丹麥籍的得主。1957年取得天文學(xué)博士學(xué)位。他將巴科斯范式導(dǎo)入ALGOL60中，并進(jìn)一步發(fā)展它。諾爾1928年生于丹麥?zhǔn)锥几绫竟嫉母ダ椎吕锟怂共?Frederiksberg)，1949年在哥本哈根大學(xué)取得天文學(xué)碩士學(xué)位。1950～1951年，他在英國劍橋大學(xué)進(jìn)修期間，用過由威爾克斯主持研制的世界上第一臺存儲程序式數(shù)字計(jì)算機(jī)EDSAC，學(xué)到了不少有關(guān)計(jì)算機(jī)和在計(jì)算機(jī)上編程的知識。但他的主要興趣仍在天文學(xué)方面。1952—1953年他在芝加哥大學(xué)的Yerkes天文臺和McDonald天文臺當(dāng)助理研究員期間，由于天文學(xué)研究中有大量計(jì)算，曾到IBM公司的沃森研究中心進(jìn)修，這使他獲得了更多的計(jì)算機(jī)知識。肯尼斯·藍(lán)·湯普森肯尼斯·藍(lán)·湯普森（英語：KennethLaneThompson，1943年2月4日－），小名為肯·湯普森（英語：KenThompson），生于美國新奧爾良。為美國計(jì)算機(jī)科學(xué)學(xué)者與軟件工程師，任職于貝爾實(shí)驗(yàn)室Entrisphere,IncGoogleInc。與丹尼斯·里奇同為1983年圖靈獎得主。他與丹尼斯·里奇設(shè)計(jì)了B語言、C語言，創(chuàng)建了Unix和Plan9操作系統(tǒng)，編程語言Go的共同作者。發(fā)展正規(guī)表示法，寫作了早期的電腦文字編輯器QED與ed，定義UTF-8編碼，以及發(fā)展電腦象棋。肯尼斯·藍(lán)·湯普森與丹尼斯·里奇設(shè)計(jì)了C語言，他也是編程語言Go的共同作者。肯·湯普遜（左）與丹尼斯·里奇1943年湯普森出生于美國新奧爾良。1960年就讀加州大學(xué)伯克利分校主修電氣工程，取得了電子工程碩士的學(xué)位。1966年加入了貝爾實(shí)驗(yàn)室。湯普森參與了貝爾實(shí)驗(yàn)室與麻省理工學(xué)院以及通用電氣公司聯(lián)合開發(fā)的一套多使用者分時(shí)作業(yè)系統(tǒng)，名叫Multics，同時(shí)他自己又寫的一個(gè)“startravel”游戲可執(zhí)行于Multics之上。貝爾實(shí)驗(yàn)室后來撤出Multics計(jì)劃。史提芬·古克史提芬·A·古克(StephenA.Cook)是計(jì)算機(jī)科學(xué)家，計(jì)算復(fù)雜性理論的重要研究者。古克現(xiàn)為多倫多大學(xué)的計(jì)算機(jī)科學(xué)和數(shù)學(xué)部門教授。1971年，在他的論文TheComplexityofTheoremProvingProcedures，他整理了NP完備性的目標(biāo)，亦產(chǎn)生了古克定理——布爾可滿足性問題是NP完備的證明。1982年，古克得到圖靈獎。因?yàn)槠湔撐拈_啟了NP完備性的研究，令這個(gè)范疇于之后的十年成為計(jì)算機(jī)科學(xué)中最活躍和重要的研究。加拿大多倫多大學(xué)教授斯蒂芬·庫克(StephenArthurCook)因在計(jì)算復(fù)雜性理論方面的貢獻(xiàn)，尤其是在奠定NP完全性理論基礎(chǔ)上的突出貢獻(xiàn)而榮獲1982年度的圖靈獎。史提芬·古克是美國科學(xué)家，1939年12月14日生于紐約州的布法羅(Buffalo)，他的父親是一名化學(xué)家，在著名的聯(lián)合碳化物公司工作，同時(shí)在布法羅大學(xué)任教，有一份不錯(cuò)的收入。道格拉斯·恩格爾巴特道格拉斯·恩格爾巴特（lbart，1925年1月30日－2013年7月2日），美國發(fā)明家，瑞典人和挪威人后裔。恩格爾巴特在斯坦福研究院（StanfordResearchInstitute），也就是今天的斯坦福國際咨詢研究所（SRIInternational）任職期間，共獲得了21項(xiàng)專利發(fā)明。最著名的就是鼠標(biāo)的專利。另外他的小組是人機(jī)交互的先鋒，開發(fā)了超文本系統(tǒng)、絡(luò)計(jì)算機(jī)，以及圖形用戶界面的先驅(qū)；并致力于倡導(dǎo)運(yùn)用計(jì)算機(jī)和絡(luò)，來協(xié)同解決世界上日益增長的緊急而又復(fù)雜的問題。他被冠為“鼠標(biāo)之父”。恩格爾巴特1925年1月30日生于美國俄勒岡州的波特蘭，是廣播維修與銷售從業(yè)者卡爾·恩格爾巴特（CarlEngelbart）的第二個(gè)孩子。在攻讀了2年大學(xué)之后，恩格爾巴特1944年至1946年曾在美國海軍服役。1948年在俄勒岡州立大學(xué)取得學(xué)士學(xué)位，1956年在加州大學(xué)伯克利分校取得電氣工程/計(jì)算機(jī)博士學(xué)位。完成學(xué)業(yè)以后，恩格爾巴特進(jìn)入著名的斯坦福研究院。在斯坦福研究院期間，恩格爾巴特積極推動和參與了美國國防部的阿帕計(jì)劃。倫納德·阿德曼倫納德·阿德曼（LeonardM.Adleman），美國南加州大學(xué)計(jì)算機(jī)教授，2002年圖靈獎得主。倫納德出生于1945年12月31日于美國加州舊金山，分別于1968年和1976年從加州大學(xué)伯克利分校（UCBerkeley）獲得數(shù)學(xué)學(xué)士學(xué)位和計(jì)算機(jī)/電機(jī)工程（EECS）博士學(xué)位。倫納德除了在RSA算法上的卓越貢獻(xiàn)而獲得圖靈獎之外，1994年，他還發(fā)表了其著名的DNA計(jì)算的研究文章“MolecularComputationofSolutionsToCombinatorialProblems”。在該篇文章中，倫納德通過DNA序列的方法來解決著名的NP完全性問題HamiltonGraph。LeonardAdleman年輕時(shí)想當(dāng)化學(xué)家、醫(yī)生，研究過物理，后來作了銀行程序員，在加州大學(xué)Berkeley分校獲得計(jì)算機(jī)博士學(xué)位，再后到MITRivest和Shamir麾下扮演蘭軍，作密碼破譯高手，“碰巧"成為RSA公鑰密碼體制的發(fā)明人之一。他是計(jì)算機(jī)病毒的"教父"（他的博士生Cohen是計(jì)算機(jī)病毒的發(fā)明人），DNA計(jì)算的創(chuàng)始人，愛滋病免疫學(xué)大師級專家，在數(shù)學(xué)、計(jì)算機(jī)科學(xué)、分子生物學(xué)、愛滋病研究等每一個(gè)方面作出的卓越貢獻(xiàn)都是大師級成果。費(fèi)爾南多·何塞·科爾巴托費(fèi)爾南多·何塞·科爾巴托（1926年7月1日—2019年7月12日），西班牙移民的后裔，生于美國加州奧克蘭，計(jì)算機(jī)系統(tǒng)專家、麻省理工學(xué)院博士，麻省理工學(xué)院名譽(yù)退休教授，計(jì)算機(jī)密碼發(fā)明人。曾獲得1990年度圖靈獎。2019年7月12日，費(fèi)爾南多·何塞·科爾巴托在馬薩諸塞州牛頓的家中去世，享年93歲。費(fèi)爾南多·考巴脫(4張)1926年7月1日，費(fèi)爾南多·何塞·科爾巴托出生于加利福尼亞州的奧克蘭。父親是西班牙比利亞雷亞爾人，一位西班牙文學(xué)教授。1930年，老科爾巴托受聘于加州大學(xué)洛杉磯分校，于是，全家搬到了南方。1943年，科爾巴托在入讀加州大學(xué)洛杉磯分校。彼時(shí)，第二次世界大戰(zhàn)已經(jīng)爆發(fā)，大一剛開學(xué)七個(gè)月后，他應(yīng)征加入海軍，接受電子技工培訓(xùn)。克利斯登·奈加特克利斯登·奈加特（KristenNygaard，1926年8月27日—2002年8月10日），出生于挪威奧斯陸，是著名的計(jì)算機(jī)科學(xué)家，社會活動家。1948年大學(xué)畢業(yè)后，他進(jìn)入挪威國防研究院NDRE，從事有關(guān)計(jì)算、程序設(shè)計(jì)和運(yùn)籌學(xué)方面的工作。經(jīng)過不斷的努力，他成為SIMULA-67語言的創(chuàng)始人，面向?qū)ο蠹夹g(shù)的先驅(qū)，曾獲得馮·諾依曼獎和第36屆圖靈獎。此外，他還一直活躍于挪威政壇，并曾任威左翼非社會主義政黨Venstre的執(zhí)行委員會成員，該黨戰(zhàn)略委員會主席。他一生獲得無數(shù)榮譽(yù)，深受挪威人民愛戴。克利斯登·奈加特克利斯登·奈加特1926年生于挪威的奧斯陸，1956年于奧斯陸大學(xué)獲得數(shù)學(xué)碩士學(xué)位，論文是《蒙特卡羅方法的理論方面》。克利斯登·奈加特1948年—1960年間克利斯登·奈加特全職工作于挪威防務(wù)科學(xué)研究中心（NorwegianDefenseResearchEstablishment），進(jìn)行計(jì)算、編程（1948年—1954年）和運(yùn)籌學(xué)（1952年—1960年）方面的研究。威廉·卡亨嚴(yán)密、嚴(yán)謹(jǐn)、嚴(yán)格、追求更進(jìn)一步是威廉·凱亨的一貫作風(fēng)，也是他留給英特爾在不斷研發(fā)新的計(jì)算機(jī)浮點(diǎn)運(yùn)算技術(shù)道路上的一筆精神財(cái)富威廉·凱亨，也譯為威廉·卡亨（WilliamMortonKahan）1933年6月5日出生，凱亨生于多倫多。完成中學(xué)學(xué)業(yè)以后，凱亨進(jìn)入著名的多倫多大學(xué)。在那里，他實(shí)現(xiàn)了“三級跳”——繼1954年取得數(shù)學(xué)學(xué)士學(xué)位以后，1956年和1958年又先后獲得碩士學(xué)位和博士學(xué)位。卡亨1933年6月5日生于多倫多。完成中學(xué)學(xué)業(yè)以后，卡亨進(jìn)入著名的多倫多大學(xué)。在那里，他實(shí)現(xiàn)了“三級跳”——繼1954年獲得數(shù)學(xué)學(xué)士學(xué)位以后，1956年和1958年又先后獲得碩士學(xué)位和博士學(xué)位。學(xué)成以后，卡亨既在大學(xué)從事過教學(xué)和科研，又在一些著名的計(jì)算機(jī)整機(jī)廠和元器件廠從事過重要的技術(shù)工作和產(chǎn)品開發(fā)工作。阿爾佛雷德·艾侯阿爾佛雷德·艾侯（AlfredAho），2020年圖靈獎得主之一，美國國家科學(xué)院院士，美國國家工程院院士，美國藝術(shù)與科學(xué)院院士，加拿大皇家學(xué)會院士，ACMFellow，IEEEFellow。阿爾佛雷德·艾侯于1963年獲得多倫多大學(xué)學(xué)士學(xué)位；1967年獲得普林斯頓大學(xué)博士學(xué)位后在貝爾實(shí)驗(yàn)室工作；1980年被任命為貝爾實(shí)驗(yàn)室計(jì)算原理研究部負(fù)責(zé)人；1987年至1991年擔(dān)任貝爾實(shí)驗(yàn)室計(jì)算科學(xué)研究中心主任；1997年成為貝爾實(shí)驗(yàn)室通信科學(xué)研究副總裁；1999年當(dāng)選為美國國家工程院院士；2003年當(dāng)選為美國藝術(shù)與科學(xué)院院士；2013年當(dāng)選為加拿大皇家學(xué)會院士；2020年獲得ACM圖靈獎；2022年當(dāng)選為美國國家科學(xué)院院士。阿爾佛雷德·艾侯致力于算法和數(shù)據(jù)結(jié)構(gòu)、編程語言、編譯器和計(jì)算機(jī)科學(xué)基礎(chǔ)方面的研究。1941年，阿爾佛雷德·艾侯出生。1963年，獲得多倫多大學(xué)工程物理學(xué)學(xué)士學(xué)位。愛德蒙·克拉克愛德蒙·克拉克（EdmundClarke，1945年7月27日-2020年12月22日），1967年從美國南部的弗吉尼亞大學(xué)獲得了其數(shù)學(xué)的學(xué)士學(xué)位，然后1968年從杜克大學(xué)完成了其數(shù)學(xué)的碩士學(xué)位的學(xué)業(yè)。1976年，從康奈爾大學(xué)計(jì)算機(jī)系獲得其博士學(xué)位。然后，Clarke在杜克大學(xué)任教兩年。1978年，加入了哈佛大學(xué)并擔(dān)任助理教授一職。1982年，Clarke離開哈佛加入了卡內(nèi)基梅隆大學(xué)計(jì)算機(jī)系，并在1989年被評為全職終身教授一職。2020年12月22日，愛德蒙·克拉克因感染新冠肺炎去世，享年75歲。愛德蒙·克拉克1945年，愛德蒙·克拉克出生。1967年在弗吉尼亞大學(xué)獲得數(shù)學(xué)學(xué)士學(xué)位。1968年在杜克大學(xué)獲得數(shù)學(xué)碩士學(xué)位。1976年在康奈爾大學(xué)獲得計(jì)算機(jī)博士學(xué)位。弗雷德里克·布魯克斯弗雷德里克·布魯克斯（FrederickPhillipsBrooks，Jr．1931年4月19日-2022年11月17日）是資深計(jì)算機(jī)科學(xué)家、美國國家科學(xué)院院士。20世紀(jì)60年代初，主持與領(lǐng)導(dǎo)了被稱為人類從原子能時(shí)代進(jìn)入信息時(shí)代的標(biāo)志的IBM/360系列計(jì)算機(jī)的開發(fā)工作，取得輝煌成功，從而名噪一時(shí)。以后他作為硬件和軟件的雙重專家和出色的教育家始終活躍在計(jì)算機(jī)舞臺上，對計(jì)算機(jī)體系結(jié)構(gòu)、操作系統(tǒng)和軟件工程做出里程碑式貢獻(xiàn)，是軟件工程圣經(jīng)《人月神話》的作者、1999年圖靈獎得主。2022年11月17日，F(xiàn)rederickPhillipsBrooks,Jr.逝世，享年91歲。1966—1970年，擔(dān)任ACM全國委員會的委員；1973—1975年，擔(dān)任ACM體系結(jié)構(gòu)委員會（所謂SIGARCH）的主席；1977—1980年，在美國國家研究院計(jì)算機(jī)科學(xué)技術(shù)部（ComputerScienceandTechnologyBoard，NationalResearchCouncil）任職；尤里斯·哈特馬尼斯尤里斯·哈特馬尼斯（JurisHartmanis，1928年7月7日-2022年7月29日）生于前蘇聯(lián)拉脫維亞(Latvia)共和國。二戰(zhàn)后，哈特馬尼斯移民到德國，并在馬爾堡大學(xué)獲得其物理學(xué)士學(xué)位。然后哈特馬尼斯移民美國，并從堪薩斯城大學(xué)獲得其應(yīng)用數(shù)學(xué)的碩士學(xué)位。然后，1955年，哈特馬尼斯從加州理工獲得其數(shù)學(xué)博士學(xué)位。在通用電器(GeneralElectric)研究實(shí)驗(yàn)室工作一段時(shí)間之后，1965年，哈特馬尼斯成為康奈爾大學(xué)(Cornell)的教授，并工作到2001年5月退休。哈特馬尼斯是拉脫維亞人，生于1928年。二戰(zhàn)期間，為躲避戰(zhàn)火，哈特馬尼斯一家人背井離鄉(xiāng)，淪為“流民”(displacedperson)。哈特馬尼斯的中學(xué)學(xué)業(yè)就是在德國哈瑙(Hanau)的難民營中完成的。之后他進(jìn)入德國馬爾堡大學(xué)學(xué)習(xí)物理(馬爾堡是一座大學(xué)城，離法蘭克福不遠(yuǎn))。兩年半之后的1950年，哈特馬尼斯獲得資助，來到美國，進(jìn)入堪薩斯城大學(xué)攻讀碩士學(xué)位。但由于該校沒有物理學(xué)的研究生課程，哈特馬尼斯只得改學(xué)數(shù)學(xué)。他用了一年時(shí)間取得碩士學(xué)位，并被加利福尼亞理工學(xué)院接收為博士研究生，從事格論(latticetheory)的研究。丹尼斯·麥卡利斯泰爾·里奇丹尼斯·里奇（1941年9月9日~2011年10月12日），C語言之父，UNIX之父。曾擔(dān)任朗訊科技公司貝爾實(shí)驗(yàn)室下屬的計(jì)算機(jī)科學(xué)研究中心系統(tǒng)軟件研究部的主任一職。1978年與布萊恩·科爾尼干（BrianW.Kernighan）一起出版了名著《C程序設(shè)計(jì)語言（TheCProgrammingLanguage）》。此書已翻譯成多種語言，被譽(yù)為c語言的圣經(jīng)。2011年10月12日（北京時(shí)間為10月13日），丹尼斯·里奇去世，享年70歲。丹尼斯里奇畫像丹尼斯·里奇，全名丹尼斯·麥卡利斯泰爾·里奇。美國計(jì)算機(jī)科學(xué)家，對C語言和其他編程語言、Multics和Unix等操作系統(tǒng)的發(fā)展做出了巨大貢獻(xiàn)。里奇在哈佛大學(xué)學(xué)習(xí)物理學(xué)和應(yīng)用數(shù)學(xué)畢業(yè)，1967年他進(jìn)入貝爾實(shí)驗(yàn)室，是朗訊技術(shù)公司系統(tǒng)軟件研究部門的領(lǐng)導(dǎo)人。1983年他與肯·湯普森一起獲得了圖靈獎。理由是他們“研究發(fā)展了通用的操作系統(tǒng)理論，尤其是實(shí)現(xiàn)了UNIX操作系統(tǒng)”。1999年兩人為發(fā)展C語言和Unix操作系統(tǒng)一起獲得了美國國家技術(shù)獎?wù)隆Ｔ诶锲娴某砷L歷程中，有兩個(gè)人對他的影響最大，一個(gè)是他父親，而另一個(gè)是他的摯友，同為UNIX發(fā)明人的肯·湯普森。尤其是后者。杰克·唐加拉杰克·唐加拉（JackDongarra），男，全球超算500強(qiáng)創(chuàng)始人之一，美國田納西大學(xué)電氣工程和計(jì)算機(jī)科學(xué)系教授。2022年3月30日，2021年度圖靈獎揭曉，美國科學(xué)家杰克·唐加拉獲獎，獨(dú)享100萬美元獎金。在美國芝加哥州立大學(xué)獲得數(shù)學(xué)學(xué)士學(xué)位。在美國伊利諾伊理工大學(xué)獲得計(jì)算機(jī)科學(xué)碩士學(xué)位。在新墨西哥大學(xué)獲得應(yīng)用數(shù)學(xué)博士學(xué)位。杰克·唐加拉創(chuàng)建了使用線性代數(shù)作為中間語言的開源軟件庫和標(biāo)準(zhǔn)。他的庫還引入了重要的創(chuàng)新，例如自動調(diào)整、混合精度算術(shù)和批處理計(jì)算。尼古拉斯·沃斯尼古拉斯·沃斯（NiklausWirth，1934年2月15日—），生于瑞士溫特圖爾，是瑞士計(jì)算機(jī)科學(xué)家。尼古拉斯·沃斯1958年，Niklaus從蘇黎世工學(xué)院取得學(xué)士學(xué)位后來到加拿大的萊維大學(xué)深造，之后進(jìn)入美國加州大學(xué)伯克利分校獲得博士學(xué)位。從1963年到1967年，他成為斯坦福大學(xué)的計(jì)算機(jī)科學(xué)部助理教授，之後又在蘇黎世大學(xué)擔(dān)當(dāng)相同的職位。1968年，他成為ETH的信息學(xué)教授，又往施樂帕洛阿爾托研究中心進(jìn)修了兩年。他有一句在計(jì)算機(jī)領(lǐng)域人盡皆知的名言“算法+數(shù)據(jù)結(jié)構(gòu)=程序”（Algorithm+DataStructures=Programs）尼古拉斯·沃斯憑借一句話獲得圖靈獎的Pascal之父——NicklausWirth，讓他獲得圖靈獎的這句話就是他提出的著名公式：“算法+數(shù)據(jù)結(jié)構(gòu)=程序”。曼紐爾·布盧姆密碼系統(tǒng)和程序檢驗(yàn)先驅(qū)，計(jì)算復(fù)雜性理論的主要奠基人之一，第三十屆（1995年）圖靈獎得主。Blum是卡內(nèi)基梅隆大學(xué)計(jì)算機(jī)科學(xué)教授，也是世界上理論計(jì)算機(jī)學(xué)大師。他被選舉成為美國國家科學(xué)院（NationalAcademyofSciences）的成員，這對于任何一位美國的科學(xué)家或是工程師來說都是最高的榮譽(yù)。曼紐爾·布盧姆曼紐爾·布盧姆（ManuelBlum），1938年4月26日生于委內(nèi)瑞拉首都加拉加斯。Blum是計(jì)算的復(fù)雜性理論的奠基人之一，該理論可以應(yīng)用于密碼術(shù)及程序校驗(yàn)。1995年，Blum在美國伯克利的加州大學(xué)的事業(yè)非常輝煌，并于同年在那里以奠定了計(jì)算復(fù)雜性理論的基礎(chǔ)和在密碼術(shù)及程序校驗(yàn)方面的貢獻(xiàn)而獲得計(jì)算機(jī)領(lǐng)域中的最高獎項(xiàng)：圖靈獎。1999年，Blum來到卡內(nèi)基梅隆大學(xué)做客座教授。2001年秋天，他正式獲得了卡內(nèi)基梅隆的教授職位。從他早期關(guān)于計(jì)算的內(nèi)在局限性的研究開始，Blum的工作就圍繞著一個(gè)統(tǒng)一的主題展開，那就是發(fā)現(xiàn)在一個(gè)所有計(jì)算資源全是有限的世界里生存的實(shí)際結(jié)果。圖片暫時(shí)無法顯示，請下載后嘗試蒂姆·伯納斯·李蒂姆·伯納斯-李（TimBerners-Lee，1955年6月8日－），英國計(jì)算機(jī)科學(xué)家，萬維發(fā)明者，2016年度圖靈獎得主，英國皇家學(xué)會工藝院院士，麻省理工學(xué)院計(jì)算機(jī)科學(xué)及人工智能實(shí)驗(yàn)室創(chuàng)辦主席及高級研究員，頁科學(xué)研究倡議會總監(jiān)，麻省理工學(xué)院集體智能中心咨詢委員會成員。1990年12月25日，他和羅伯特·卡里奧在CERN一起成功通過Internet實(shí)現(xiàn)了HTTP代理與服務(wù)器的第一次通訊。伯納斯-李為萬維發(fā)展而創(chuàng)辦了萬維聯(lián)盟（W3C）并擔(dān)任主席，他也是萬維基金會的創(chuàng)辦人。2004年，英女皇伊麗莎白二世向伯納斯·李頒發(fā)不列顛帝國勛章的爵級司令勛章。2009年4月，他獲選為美國國家科學(xué)院外籍院士。2012年，夏季奧林匹克運(yùn)動會開幕典禮上，他獲得了“萬維發(fā)明者”的美譽(yù)。伯納斯·李本人也參與了開幕典禮，在一臺NeXT計(jì)算機(jī)前工作。他在Twitter上發(fā)表消息"Thisisforeveryone"，體育館內(nèi)的LCD光管隨即顯示出文字來。詹姆斯·尼古拉·格雷詹姆斯·尼古拉·格雷（JamesNicholasJimGray，1944年－），美國資訊工程學(xué)家。他就讀于柏克萊加州大學(xué)，1966年取得工程數(shù)學(xué)學(xué)士，1969年取得計(jì)算機(jī)科學(xué)博士。他曾于IBM、天登電腦公司和迪吉多工作。1995年成為微軟研究員。他有份開發(fā)的數(shù)據(jù)庫和交易處理系統(tǒng)有IBM的SystemR、微軟的Terraserver和Skyserver。他提出了資料方塊、鎖定顆粒等概念。他亦有份開發(fā)WindowsLiveLocal。2007年，他獨(dú)自航向法拉倫島，打算撒散母親的骨灰，