當前位置:外匯行情大全網 - 信用卡套現 - 誰獲得了諾貝爾計算機科學獎?

誰獲得了諾貝爾計算機科學獎?

計算機科學的諾貝爾獎是圖靈獎,也就是說諾貝爾獎裏沒有“計算機”這個獎項。

1966 A. J. Perlis -麻省理工學院博士;耶魯大學教授(CMU大學教授)(已故)

他因對新壹代編程技術和編譯架構的貢獻而獲獎。

劍橋大學莫裏斯·威爾克斯博士;劍橋大學教授

他因設計了第壹臺具有完整記憶的計算機而獲獎。

1968理查德·w·海明博士,UIUC海軍研究生院教授

(在貝爾)(已故)

他因在計數方法、自動編碼系統、錯誤檢測和糾正方面的貢獻被授予圖靈獎。

1969馬文·明斯基博士,普林斯頓大學教授,麻省理工學院

他因對人工智能的貢獻被授予圖靈獎。

1970劍橋大學J.H .威爾金森-BS;工作人員,國家物理

倫敦實驗室

他因通過數值分析促進高速數字計算機應用的研究而獲獎。

1971約翰·麥卡錫-普林斯頓博士;斯坦福大學教授

他因對人工智能的貢獻被授予圖靈獎。

1972 Edsger W. Dijkstra -阿姆斯特丹大學博士;奧斯汀大學教授

他因在編程語言方面的傑出表現而獲獎。

1973 Charles W. Bachman -霍尼韋爾員工

因其對數據庫的傑出貢獻而獲獎。

1974加州理工學院唐納德·e·克努特博士;斯坦福大學教授

他因設計並完成了TEX(壹種具有高排版質量的創新文檔制作工具)而獲獎。

艾倫·紐厄爾大學博士,斯坦福大學;CMU教授(已故)

司馬賀博士,芝加哥;CMU教授(已故)

他因在人工智能、人類識別心理學和表格處理方面的基礎研究而獲獎。

1976邁克爾·拉賓博士,普林斯頓;哈佛大學教授

和普林斯頓大學的Dana S. Scott博士;CMU教授

因為他們論文《有限自動機及其決策問題》中提出的非確定性機器是非常有價值的。

價值觀獲獎了。

1977哥倫比亞大學約翰·巴科斯分校;IBM員工

因其對現有高級編程系統設計的深遠影響而獲獎。

1978羅伯特·w·弗洛伊德- BS,芝加哥;斯坦福大學教授

由於它對軟件編程算法的影響,產生了新的理論,包括解析理論、編程語言語義、自定義。

該獎項授予了許多計算機子學科,包括動態程序檢查、自動程序綜合和算法分析。

1979肯尼斯·E·艾佛森

他因在編程語言理論、交互系統和APL方面的貢獻而獲獎。

1980 C. Anthony R. Hoare -牛津大學教授(現就職於微軟)

他因對編程語言的定義和設計的貢獻而獲獎。

1981埃德加·f·科德博士,密歇根;IBM員工

他因對數據庫管理系統理論和實踐的貢獻而獲獎。

1982史蒂文·a·庫克-哈佛大學博士;多倫多大學教授

他因奠定了NP完全理論的基礎而獲獎。

1983肯湯普森- MS,伯克利;貝爾實驗室員工

丹尼斯·m·裏奇博士,哈佛大學;貝爾實驗室員工

因通用操作系統理論尤其是UNIX操作系統的普及而獲獎。

1984尼古拉斯·沃斯-柏克萊博士;蘇黎世聯邦理工學院教授

他因開發了歐拉、ALGOL-W、MODULA、PASCAL等壹系列全新的計算語言而獲獎。

1985理查德·m·卡普-哈佛大學博士;伯克利教授

他因對算法理論的貢獻而獲獎。

約翰·E·霍普克羅夫特大學博士,斯坦福大學;康奈爾大學教授

羅伯特·塔詹博士,斯坦福大學;普林斯頓大學教授

他因在算法和數據結構的設計和分析方面的決定性成就而獲獎。

1987約翰·科克員工,IBM

他因對面向對象編程語言和相關編程技能的貢獻而獲獎。

1988伊萬e薩瑟蘭-博士,麻省理工學院;孫參謀

他因對計算機圖形學的貢獻而獲獎。

威廉·斯卡爾·卡漢博士,多倫多大學;伯克利教授

因對數值分析的貢獻而獲獎,他是浮點計算方面的專家。

1990費爾南多j科爾巴托-博士,麻省理工學院;麻省理工學院教授

由於可以共享時間和資源的大規模多功能計算系統(如CTSS和Multics)的發展,

因他的貢獻而獲獎。

劍橋大學羅賓·米爾納教授(曾在愛丁堡大學)

他因在可計算函數邏輯(LCF)、ML和並行理論(CCS)方面的貢獻而獲獎。

巴特勒·蘭普森博士,柏克萊;員工,微軟

因其對個人分布式計算機系統(包括操作系統)的貢獻而獲獎。

1993加州理工學院Juris Hartmanis-PhD;康奈爾大學教授

普林斯頓大學理查德·e·斯特恩斯博士;SUNY·奧爾巴尼教授

他因奠定了計算復雜性理論的基礎而獲獎。

雷伊·雷蒂大學博士,斯坦福大學;CMU教授

和愛德華費根鮑姆(博士,CMU;斯坦福大學教授)

他因對大規模人工智能系統的開創性研究而獲獎。

1995曼紐爾·布魯姆-博士,麻省理工學院;伯克利教授

他因奠定了計算復雜性理論的基礎以及對密碼學和程序驗證的貢獻而獲獎。

阿米爾·伯努利-博士,魏茨曼研究所;NYU教授

他因將時態邏輯引入計算以及對程序和系統檢查的貢獻而獲獎。

1997道格拉斯·恩格爾巴特-伯克利博士;員工,SRI

他因提出了交互式計算的概念並創造了實現這壹概念的重要技術而獲獎。

1998詹姆士·格雷-柏克萊博士;員工,微軟

因其在數據庫和交易處理方面的傑出貢獻而獲獎。

哈佛大學小佛瑞德·P·布魯克斯博士;UNC教授

因為他對計算機架構、操作系統和軟件工程做出了裏程碑式的貢獻。

2000年安德魯·姚期智博士,UIUC普林斯頓大學教授(姚期智,第壹個中國人

獲勝者)

因為他對計算理論做出了許多基礎性的重大貢獻。

2001奧斯陸大學奧利·約翰·達爾和克利斯登·奈加特教授

因為他們設計編程語言SIMULA I和SIMULA 67時的基本思路,這些思路都是表面的。

面向對象技術的開端

2002年斯坦福大學羅納德·L·李維斯特博士;麻省理工學院;

和阿迪·薩莫爾-魏茨曼博士;

和倫納德·阿德爾曼博士,伯克利;超聲波清洗(Ultra Sonic Cleaning)

由於他們對公鑰算法的傑出貢獻(RSA算法目前被用於互聯網傳輸、銀行和

信用卡行業廣泛使用的安全基礎機制)。

2003年艾倫·凱博士,猶他州;惠普實驗室(位於PARC施樂公司)

因為發明了第壹個完全面向對象的動態計算機編程語言Smalltalk。

2004年文特·G·瑟夫、羅伯特·e·卡恩

由於在因特網上的開創性工作,包括因特網基本通信協議的設計和實現,

TCP/IP,以及在網絡領域的卓越領導地位。

2005年彼得·諾爾

因為他在設計Algol 60語言方面的貢獻。由於其定義清晰,Algol 60已成為許多現代

編程語言的原型。

2006年弗朗西斯·艾倫(第壹位女性獲獎者)

由於它們對優化編譯器技術的理論和實踐的開創性貢獻,這些技術是現代優化編譯器。

和自動並行執行。

2007年埃德蒙·m·克拉克、艾倫·愛默生和約瑟夫·西法基

他們因開發了模型檢測技術並將其廣泛應用於硬件和軟件行業而受到稱贊。

非常有效的算法驗證技術在。

在美國工作的愛德蒙·克拉克和艾倫·愛默生以及在法國工作的薩弗基斯分別提到。

最初提出了模型檢測的概念,他們開發了壹套判斷的硬件。

以及軟件設計的理論模型是否符合規範。另外,當系統檢測失敗時,也可以使用

它確定問題存在於代碼的什麽地方。

  • 上一篇:信用卡過期怎麽處理?
  • 下一篇:建行手機銀行今日登錄次數錯誤超限後,能不能當天重置密碼?
  • copyright 2024外匯行情大全網