當前位置:名人名言大全網 - 名人名言 - 人工智能領域有哪些科學家獲得了精神獎,他們對人工智能做出了哪些貢獻?

人工智能領域有哪些科學家獲得了精神獎,他們對人工智能做出了哪些貢獻?

圖靈獎,由美國計算機協會(ACM)於1966年設立,又稱“A.M .圖靈獎”,專門獎勵那些對計算機行業做出重要貢獻的個人。它的名字取自計算機科學的先驅、英國科學家艾倫·圖靈。這個獎項的目的之壹就是紀念這位科學家。獲獎者的貢獻必須是在計算機領域的持久和重大的技術進步。大多數獲獎者是計算機科學家。

圖靈獎是計算機領域最負盛名的獎項,被稱為“計算機領域的諾貝爾獎”。圖靈獎對獲獎者的要求極高,頒獎程序也極其嚴格。壹般每年只授予壹位計算機科學家,只有少數幾年同時有兩位以上在同壹方向做出貢獻的科學家。目前圖靈獎由英特爾公司贊助,獎金為65,438+000,000美元。

美國計算機協會每年都會要求被提名者推薦今年圖靈獎的候選人,並附上壹篇200到500字的文章,解釋被提名者為什麽應該獲得這個獎項。任何人都可以被提名。美國計算機協會將組成評選委員會,對提名者進行嚴格評估,最終確定當年的獲獎者。

直到2005年,只有壹個中國人獲此殊榮,他就是2000年圖靈獎得主姚期智。

編輯這壹段歷年圖靈獎得主。

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

獲獎理由:將模型檢查發展成為壹種被硬件和軟件行業廣泛采用的高效驗證技術的貢獻。另壹方面,DDJ稱他們的貢獻為“尋找計算機硬件和軟件設計錯誤的自動化方法的工作”。

2006年法蘭·艾倫

獲獎理由:對優化編譯技術的理論和實踐做出開創性貢獻,為現代優化編譯器和自動並行執行奠定了基礎。

2005年彼得·諾爾

獲獎理由:由於在設計Algol60編程語言方面的貢獻。Algol60語言定義明確,是許多現代編程語言的原型。

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

獲獎理由:因為在互聯網方面的開創性工作,這包括互聯網的基本通信協議TCP/IP的設計和實現,以及在網絡方面的卓越領導力。

2003艾倫·凱

獲獎理由:他帶領Smalltalk的開發團隊,因其在面向對象語言方面的獨到見解,為PC做出了基礎性的貢獻。

智慧之言:預測未來的最佳方式是創造未來。

2002年羅納德·L·李維斯特、阿迪·薩莫爾、倫納德·M·阿德曼

獲獎原因:因為公鑰理論和實踐方面的基礎工作。

2001克利斯登·奈加特奧利·約翰·達爾

獲獎理由:面向對象編程源於他們的基本思想,體現在他們的編程語言SIMULA I和SIMULA 67中。

安德魯·姚期智(姚期智)

獲獎理由:他獲獎是因為在計算理論方面的貢獻,包括偽隨機數的生成算法、加密算法和通信復雜度。

1999小佛瑞德·P·布魯克斯

獲獎理由:因為他在計算機體系結構、操作系統和軟件工程方面的裏程碑式貢獻。人類和月亮神話的作者。

1998詹姆士·格雷

獲獎原因:由於在數據庫、交易處理研究及相關系統方面的技術領先。

1997道格拉斯·恩格爾巴特

獲獎理由:因為未來交互計算機這壹激動人心的想法以及實現這壹想法的關鍵技術的發明。

1996阿米爾·伯努利

獲獎理由:由於在計算科學中引入了時態邏輯,並在編程和系統認證方面做出了突出貢獻。

1995曼紐爾·布魯姆

獲獎原因:因為他在計算復雜性理論、密碼學和程序驗證方面的基礎貢獻。

雷伊·雷蒂愛德華費根鮑姆1994

獲獎理由:他們設計建造的大規模人工智能系統證明了人工智能技術的重要性及其潛在的商業價值。

1993尤裏斯·哈特曼尼斯、理查德·斯特恩斯

獲獎理由:因為他們的論文奠定了計算復雜性理論的基礎。

1992巴特勒·蘭普森

獲獎理由:由於對個人分布式計算機系統及其實現技術的貢獻,這包括:工作站、網絡、操作系統、編程系統、顯示、安全和文檔發布。

1991羅賓·米爾納

獲獎理由:由於在可計算函數邏輯(LCF)、ML和並行理論(CCS)三個方面的傑出和完美貢獻。

1990費爾南多·科爾巴托

獲獎理由:因為組織和領導了多功能、大規模、時間和資源共享的計算機系統的開發。

威廉·卡漢

獲獎原因:因為在數值分析方面的基礎性貢獻。

1988伊凡·蘇澤蘭

獲獎理由:由於在計算機圖形學方面的開創性和高瞻遠矚的貢獻,其建立的技術在二三十年後仍然有效。

1987約翰·科克

獲獎理由:由於他在編譯器設計與理論、大規模系統架構和RISC開發方面的重要貢獻。

1986羅伯特·塔揚約翰·霍普克羅夫特

獲獎理由:由於在算法和數據結構的設計與分析方面的基礎成果。

理查德·m·卡普

獲獎原因:由於在算法理論,尤其是NP-完全性理論方面的持續貢獻。

1984尼古拉斯·沃斯

獲獎理由:由於歐拉、ALGOL-W、MODULA、PASCAL等壹系列全新計算語言的發展。

肯·湯普森、丹尼斯·裏奇

獲獎理由:因為他對通用操作系統的理論研究,尤其是UNIX操作系統的實現的貢獻。

史提芬·A·古克1982

獲獎理由:1971發表的論文奠定了NP-完備性理論的基礎。

埃德加·f·科德

獲獎理由:因其對數據庫管理系統理論和實踐的基礎性和持續性貢獻,被譽為關系數據庫之父。

安東尼·霍爾

獲獎原因:由於在編程語言定義和設計方面的基礎貢獻。

1979肯尼斯·E·艾佛森

獲獎理由:因為在編程語言尤其是APL的理論和實踐方面的開創性工作。

1978羅伯特·弗洛伊德

獲獎理由:由於他在如何開發高效可靠的軟件方法論方面的貢獻,這包括:建立分析理論、編程語言的語義、自動程序檢查、自動程序綜合和算法分析。

計算機子學科。

1977約翰·巴科斯

獲獎理由:因為他對高級語言,尤其是Fortran的廣泛而深遠的貢獻。

邁克爾·拉賓、達納·斯科特

獲獎理由:他們的論文《有限自動機及其決策問題》被證明具有重要價值。

司馬賀艾倫·紐厄爾1975

獲獎理由:由於在人工智能、人類識別心理學、表格處理方面的基礎貢獻。

唐納德·克努特

獲獎理由:《計算機程序設計藝術》作者,因為他在算法分析和程序語言設計方面的重要貢獻。

1973查爾斯·巴赫曼

獲獎原因:由於在數據庫方面的突出貢獻。

迪克斯特拉東大街1972號

獲獎理由:由於對ALGOL發展的原則性貢獻。

1971約翰·麥卡錫

獲獎理由:因為他的講座“人工智能的研究現狀”

智能”,對人工智能領域的貢獻。

1970 J.H .威爾金森

獲獎理由:因其在數值分析方面的研究工作。

1969馬文·明斯基

獲獎理由:人工智能理論與軟件

1968理查德·海明

獲獎原因:因為他在計數方法、自動編碼系統、檢測和糾正錯誤代碼方面的工作。

莫裏斯訴威爾克斯

獲獎理由:因為設計制造了第壹臺帶有內部存儲程序的計算機EDSAC。

1966 A.J. Perlis

獲獎理由:因其對高級編程技術和編譯架構的貢獻。