国产精品嫩草在线观看高潮一区二区a∨, 高清欧美一区二区三区中文字幕精品视频, 综合欧美日韩一区二区国产精品免费视频, 国产91中文综合字幕日韩免费2023,中国老肥熟女,日本边做边吃奶的av无码,日韩人妻揉捏嗯视频,nanana在线观看视频免费,亚洲色熟女图激情另类图区

品牌知名度調(diào)研問卷>>

【計算機(jī)諾貝爾獎】圖靈獎獲得者名單 歷屆圖靈獎得主盤點(diǎn)

本文章由注冊用戶 皮丘看熱點(diǎn) 上傳提供 ★★ 評論 發(fā)布 糾錯/刪除 版權(quán)聲明 0
有“計算機(jī)界的諾貝爾獎”之稱的圖靈獎,是計算機(jī)領(lǐng)域最負(fù)盛名、最崇高的一個獎項(xiàng),獎勵對計算機(jī)事業(yè)作出重要貢獻(xiàn)的個人。2000年圖靈獎得主姚期智是目前唯一獲得圖靈獎的華人學(xué)者,本篇文章,maigoo小編為您整理了一份圖靈獎獲得者名單,下面一起來看歷屆圖靈獎得主盤點(diǎn)。
圖靈獎是什么
美食

“A.M. 圖靈獎(A.M Turing Award)”簡稱圖靈獎(Turing Award),名稱取自計算機(jī)科學(xué)的先驅(qū)、英國科學(xué)家艾倫·麥席森·圖靈(Alan M. Turing),是計算機(jī)領(lǐng)域最負(fù)盛名、最崇高的一個獎項(xiàng),有“計算機(jī)界的諾貝爾獎”之稱。

圖靈獎由美國計算機(jī)協(xié)會(ACM)于1966年設(shè)立,專門獎勵那些對計算機(jī)事業(yè)作出重要貢獻(xiàn)的個人,通常情況下,圖靈獎都會在下一年的3月下旬頒發(fā)。圖靈獎對獲獎條件要求高,評獎程序嚴(yán),通常每年只獎勵一名計算機(jī)科學(xué)家,極少數(shù)情況下,會有多名合作者或在同一方向作出貢獻(xiàn)的科學(xué)家共享此獎。

圖靈獎華人獲得者
美食

截至2025年,圖靈獎華人獲得者只有一位——2000年圖靈獎得主姚期智。姚期智,1946年出生于上海(2017年放棄美國國籍成為中國公民),中國科學(xué)院院士、香港科學(xué)院創(chuàng)院院士、美國國家科學(xué)院院士、美國藝術(shù)與科學(xué)學(xué)院院士,其研究方向包括計算理論及其在密碼學(xué)和量子計算中的應(yīng)用,姚期智最先提出量子通信復(fù)雜性,提出分布式量子計算模式,后來成為分布式量子算法和量子通訊協(xié)議安全性的基礎(chǔ)。

圖靈獎獲得者名單
年份 姓名 貢獻(xiàn)領(lǐng)域/獲獎理由
1966年 艾倫·佩利(Alan J. Perlis) 高級程序設(shè)計技巧,編譯器構(gòu)造
1967年 莫里斯·威爾克斯(Maurice V. Wilkes) 存儲程序式計算機(jī)EDSAC,程序庫
1968年 理查德·衛(wèi)斯里·漢明(Richard Hamming) 數(shù)值方法,自動編碼系統(tǒng),錯誤檢測和糾錯碼
1969年 馬文·明斯基(Marvin Minsky) 人工智能
1970年 詹姆斯·維爾金森(James H. Wilkinson) 數(shù)值分析,線性代數(shù),倒退錯誤分析
1971年 約翰·麥卡錫(John McCarthy) 人工智能
1972年 艾茲格·迪科斯徹(Edsger Dijkstra) 程序設(shè)計語言的科學(xué)與藝術(shù)
1973年 查理士·巴赫曼(Charles W. Bachman) 數(shù)據(jù)庫技術(shù)
1974年 高德納(Donald E. Knuth) 算法分析、程序設(shè)計語言的設(shè)計、程序設(shè)計
1975年 艾倫·紐厄爾(Allen Newell),赫伯特·西蒙(Herbert A. Simon) 人工智能,人類認(rèn)知心理學(xué)和列表處理 (list processing)
1976年 邁克爾·拉賓(Michael O. Rabin),達(dá)納·斯科特(Dana S. Scott) 非確定性自動機(jī)
1977年 約翰·巴克斯(John Backus) 高級編程系統(tǒng),程序設(shè)計語言規(guī)范的形式化定義
1978年 羅伯特·弗洛伊德(Robert W. Floyd) 設(shè)計高效可靠軟件的方法學(xué)
1979年 肯尼斯·艾佛森(Kenneth E. Iverson) 程序設(shè)計語言和數(shù)學(xué)符號,互動系統(tǒng)的設(shè)計,運(yùn)用 APL進(jìn)行教學(xué),程序設(shè)計語言的理論與實(shí)踐
1980年 東尼·霍爾(C. Antony R. Hoare) 程序設(shè)計語言的定義與設(shè)計
1981年 埃德加·科德(Edgar F. Codd) 數(shù)據(jù)庫系統(tǒng),尤其是關(guān)系型數(shù)據(jù)庫
1982年 史提芬·古克(Stephen A. Cook) 計算復(fù)雜度
1983年 肯·湯普遜(Ken Thompson),丹尼斯·里奇(Dennis M. Ritchie) UNⅨ操作系統(tǒng)和C語言
1984年 尼古拉斯·沃斯(Niklaus Wirth) 程序設(shè)計語言設(shè)計、程序設(shè)計
1985年 理查德·卡普(Richard M. Karp) 算法理論,尤其是NP-完全性理論
1986年 約翰·霍普克羅夫特(John Hopcroft),羅伯特·塔揚(yáng)(Robert Tarjan) 算法和數(shù)據(jù)結(jié)構(gòu)的設(shè)計與分析
1987年 約翰·科克(John Cocke) 編譯理論,大型系統(tǒng)的體系結(jié)構(gòu),及精簡指令集(RISC)計算機(jī)的開發(fā)
1988年 伊凡·蘇澤蘭(Ivan Sutherland) 計算機(jī)圖形學(xué)
1989年 威廉·卡亨(William Morton Kahan) 數(shù)值分析
1990年 費(fèi)爾南多·考巴脫(Fernando J. Corbató) CTSS和Multics
1991年 羅賓·米爾納(Robin Milner) LCF,ML語言,CCS
1992年 巴特勒·蘭普森(Butler W. Lampson) 分布式,個人計算環(huán)境
1993年 尤里斯·哈特馬尼斯(Juris Hartmanis),理查德·斯特恩斯(Richard E. Stearns) 計算復(fù)雜度理論
1994年 愛德華·費(fèi)根鮑姆(Edward Feigenbaum),拉吉·瑞迪(Raj Reddy) 大規(guī)模人工智能系統(tǒng)
1995年 曼紐爾·布盧姆(Manuel Blum) 計算復(fù)雜度理論,及其在密碼學(xué)和程序校驗(yàn)上的應(yīng)用
1996年 阿米爾·伯努利(Amir Pnueli) 時序邏輯,程序與系統(tǒng)驗(yàn)證
1997年 道格拉斯·恩格爾巴特(Douglas Engelbart) 互動計算
1998年 詹姆斯·尼古拉·格雷(James Gray) 數(shù)據(jù)庫與事務(wù)處理
1999年 弗雷德里克·布魯克斯(Frederick P. Brooks,Jr.) 計算機(jī)體系結(jié)構(gòu),操作系統(tǒng),軟件工程
2000年 姚期智(Andrew Chi-Chih Yao) 計算理論,包括偽隨機(jī)數(shù)生成,密碼學(xué)與通信復(fù)雜度
2001年 奧利-約翰·達(dá)爾(Ole-Johan Dahl),克利斯登·奈加特(Kristen Nygaard) 面向?qū)ο缶幊?/td>
2002年 羅納德·李維斯特(Ronald L. Rivest),阿迪·薩莫爾(Adi Shamir),倫納德·阿德曼(Leonard M. Adleman) 公鑰密碼學(xué)(RSA加密算法)
2003年 艾倫·凱(Alan Kay) 面向?qū)ο缶幊?/td>
2004年 文特·瑟夫(Vinton G. Cerf),羅伯特·卡恩(Robert E. Kahn) TCP/IP協(xié)議
2005年 彼得·諾爾(Peter Naur) Algol 60語言
2006年 法蘭西斯·艾倫(Frances E. Allen) 優(yōu)化編譯器
2007年 愛德蒙·克拉克(Edmund M. Clarke),艾倫·愛默生(Allen Emerson),約瑟夫·斯發(fā)基斯(Joseph Sifakis) 開發(fā)自動化方法檢測計算機(jī)硬件和軟件中的設(shè)計錯誤
2008年 芭芭拉·利斯科夫(Barbara Liskov) 編程語言和系統(tǒng)設(shè)計的實(shí)踐與理論
2009年 查爾斯·薩克爾(Charles Thacker) 幫助設(shè)計、制造第一款現(xiàn)代PC
2010年 萊斯利·瓦倫特(Leslie Valiant) 對眾多計算理論所做的變革性的貢獻(xiàn)
2011年 猶大·伯爾(Judea Pearl) 人工智能
2012年 莎菲·戈德瓦塞爾(Shafi Goldwasser),希爾維奧·米卡利(Silvio Micali) 由于在密碼學(xué)和復(fù)雜理論領(lǐng)域做出創(chuàng)舉性工作
2013年 萊斯利·蘭伯特(Leslie Lamport) 在提升計算機(jī)系統(tǒng)的可靠性及穩(wěn)定性領(lǐng)域的杰出貢獻(xiàn)
2014年 邁克爾·斯通布雷克(Michael Stonebraker) 對現(xiàn)代數(shù)據(jù)庫系統(tǒng)底層的概念與實(shí)踐所做出的基礎(chǔ)性貢獻(xiàn)
2015年 惠特菲爾德·迪菲(Whitfield Diffie),馬丁·赫爾曼(Martin Hellman) 非對稱加密的創(chuàng)始人
2016年 蒂姆·伯納斯·李(Tim Berners-Lee) 萬維網(wǎng)的發(fā)明者
2017年 約翰·軒尼詩(John Hennessy),大衛(wèi)·帕特森(David Patterson) 開發(fā)了RISC微處理器并且讓這一概念流行起來
2018年 約舒亞·本希奧(Yoshua Bengio),杰弗里·欣頓(Geoffrey Hinton),揚(yáng)·萊坎(Yann LeCun) 人工智能深度學(xué)習(xí)方面
2019年 Patrick M. Hanrahan,艾德文·卡特姆(Edwin E. Catmull) 對3D計算機(jī)圖形學(xué)的貢獻(xiàn),以及這些技術(shù)對電影制作和計算機(jī)生成圖像(CGI)等應(yīng)用的革命性影響
2020年 杰弗里·戴維·烏爾曼(Jeffrey David Ullman)、阿爾弗雷德·艾侯(Alfred Vaino Aho) 創(chuàng)造了全球數(shù)百萬編程人員使用的工具和教材,推進(jìn)編程語言實(shí)現(xiàn)的基礎(chǔ)算法和理論,并在極具影響力的書籍中綜述了這些研究成果
2021年 杰克·唐加拉(Jack J. Dongarra) 通過對線性代數(shù)運(yùn)算的高效數(shù)值算法、并行計算編程機(jī)制和性能評估工具的貢獻(xiàn),引領(lǐng)了高性能計算的世界
2022年 鮑勃·梅特卡夫(Bob Metcalfe) 為引領(lǐng)大眾進(jìn)入超級連接時代所做的貢獻(xiàn)
2023年 艾維·維格森(Avi Wigderson) 增強(qiáng)了人類對計算中隨機(jī)性和偽隨機(jī)性作用的理解
2024年 安德魯·巴托(Andrew Barto), 理查德·薩頓(Richard Sutton) 在人工智能訓(xùn)練技術(shù)領(lǐng)域的卓越貢獻(xiàn)
推薦閱讀
網(wǎng)站提醒和聲明
本站為注冊用戶提供信息存儲空間服務(wù),非“MAIGOO編輯”、“MAIGOO榜單研究員”、“MAIGOO文章編輯員”上傳提供的文章/文字均是注冊用戶自主發(fā)布上傳,不代表本站觀點(diǎn),版權(quán)歸原作者所有,如有侵權(quán)、虛假信息、錯誤信息或任何問題,請及時聯(lián)系我們,我們將在第一時間刪除或更正。 申請刪除>> 糾錯>> 投訴侵權(quán)>> 網(wǎng)頁上相關(guān)信息的知識產(chǎn)權(quán)歸網(wǎng)站方所有(包括但不限于文字、圖片、圖表、著作權(quán)、商標(biāo)權(quán)、為用戶提供的商業(yè)信息等),非經(jīng)許可不得抄襲或使用。
提交說明: 快速提交發(fā)布>> 提交資訊幫助>> 注冊登錄>>
最新評論
相關(guān)推薦
電腦硬盤出故障怎么辦 臺式計算機(jī)常見硬件故障排除
電腦硬盤出故障怎么辦?在臺式計算機(jī)的應(yīng)用上,計算機(jī)的硬件設(shè)備會常見出現(xiàn)各種問題,比如CPU故障、顯卡故障、硬盤故障等,這些都是計算機(jī)硬件中最常出現(xiàn)的問題。在硬件出現(xiàn)故障后,該如何進(jìn)行故障維修呢,不同的硬件設(shè)備出現(xiàn)故障都有不同的原因,在維修前,首先需要做的就是找到故障存在的原因,然后在進(jìn)行故障維修。以下就和小編一起來了解一下,關(guān)于計算機(jī)硬件故障都有哪些對應(yīng)的解決方法吧。
硬盤錄像機(jī)怎么用 硬盤錄像機(jī)功能及故障處理
硬盤錄像機(jī)是一套進(jìn)行圖像存儲處理的計算機(jī)系統(tǒng),具有對圖像/語音進(jìn)行長時間錄像、錄音、遠(yuǎn)程監(jiān)視和控制的功能。硬盤錄像機(jī)的功能有很多,比如監(jiān)視功能、錄像功能、回放功能、報警功能、控制功能等等,可是這些功能要怎么用呢?下面就來總結(jié)分析一下硬盤錄像機(jī)的常見問題。
it工程師是做什么的 網(wǎng)站IT工程師崗位職責(zé)要求
IT工程師是從事IT相關(guān)工作的人員的統(tǒng)稱。它是一個廣義的概念,包括IT設(shè)計人員、IT架構(gòu)人員、IT工程管理人員、程序員等一系列崗位,工作內(nèi)容都與軟件開發(fā)生產(chǎn)相關(guān)。那么it工程師是做什么的?下面看一下網(wǎng)站IT工程師崗位職責(zé)要求吧。
2025中國高性能計算機(jī)TOP100名單 2025中國高性能計算機(jī)性能排名榜
中國計算機(jī)學(xué)會高性能計算專業(yè)委員會發(fā)布了2025中國高性能計算機(jī)(HPC)性能TOP100榜單。該榜單以Linpack測試性能為主要排序依據(jù),列出了當(dāng)前中國境內(nèi)最快的100臺高性能計算機(jī)系統(tǒng)。其中,聯(lián)想憑借43套系統(tǒng)的亮眼成績獨(dú)占鰲頭,再次斬獲年度數(shù)量總份額冠軍,印證了其在算力基礎(chǔ)設(shè)施領(lǐng)域的強(qiáng)大實(shí)力和領(lǐng)先地位。位列其后的是浪潮,此次共有23套系統(tǒng)入選,接著不妨一起來看具體名單。
臺式電腦怎么安裝軟件 計算機(jī)中病毒的癥狀
在買來新的臺式電腦后,第一件時間就是在新的電腦上安裝好自己需要的軟件。但是臺式電腦怎么安裝軟件?如何下載軟件才是安全的呢?其實(shí)啊,軟件下載是最簡單的電腦操作,只要找到軟件管理的應(yīng)用,然后進(jìn)入應(yīng)用后輸入你所需要的軟件,就可以進(jìn)行下載了。以下就和小編一起來看看,關(guān)于電腦軟件方面還存在有什么樣的問題吧。