圖靈獎(A.M. Turing Award,又譯“杜林獎”),由美國計算機協會(ACM)於1966年設立,又叫“A.M. 圖靈獎”,專門獎勵那些對計算機事業作出重要貢獻的個人。其名稱取自計算機科學的先驅、英國科學家阿蘭·麥席森·圖靈

知識薈萃

曆屆圖靈獎薈萃

  • 2018 Yoshua Bengio、Geoffrey Hinton、Yann LeCun
  • 獲獎原因:在概念和工程上作出了突破,這些突破已使深度神經網絡成為計算的重要組成部分。
  • 2017 John L. Hennessy、David A. Patterson
  • 獲獎原因:開創了一種係統的、定量的方法來設計和評價計算機體係結構,並對 RISC 微處理器行業產生了持久的影響。
  • 2016 萬維網之父-蒂姆·伯納斯-李
  • 獲獎原因:發明了萬維網、第一個瀏覽器和使得萬維網得以擴展的基礎協議及算法”而獲得2016年度的圖靈獎。
  • 2015年 惠特菲爾德·迪菲、馬丁·赫爾曼
  • 獲獎原因:發明迪菲-赫爾曼密鑰交換,對公開密鑰加密技術有重大貢獻。
  • 2014年 邁克爾·斯通布雷克
  • 獲獎原因:對現代數據庫的概念和實踐作出的根本性貢獻。
  • 2013年 萊斯利·蘭波特
  • 獲獎原因:對於分布式及並形係統的理論與實踐具有基礎性貢獻,尤其是諸如因果邏輯時序(causality and logical clocks)、安全性與存活度(safety and liveness)、複製狀態機(replicated state machines)及循序一致性(英語:sequential consistency)(sequential consistency)等理論概念的發明。
  • 2012年 朱迪亞·珀爾、莎菲·戈德瓦塞爾
  • 獲獎原因:在密碼科學領域裏,於複雜理論的基礎之上,做出變革性工作;並領先發展出新的具有數學可證明性的有效驗證機製。
  • 2011年 Judea Pearl
  • 獲獎原因:通過概率論和因果推理對人工智能領域作出的根本性貢獻,他是最早將貝葉斯網絡和概率方法引入人工智能的先鋒之一,也是在經驗科學中數學化因果模型的先鋒。
  • 2010年 Leslie G. Valiant
    • 獲獎原因:對眾多計算理論所做的變革性的貢獻,包括大概近似正確(PAC)學習的理論,枚舉和代數計算的複雜性以及並行和分布式計算的理論。
  • 2009年 Chuck Thacker
  • 獲獎原因:Chuck Thacker對第一台現代個人計算機——施樂帕克(Xerox PARC)Alto的先驅性設計,以及在局域網(包括以太網)、多處理器工作站、窺探高速緩存一致性協議和平板PC等方麵的傑出成就與貢獻。
  • 2008年 Barbara Liskov
  • 獲獎原因:在計算機軟件更加可靠、安全和更具一致性方麵的貢獻而獲獎。她也成為曆史上第二位獲得圖靈獎的女性。
  • 獲獎原因:與E. Allen Emerson和Joseph Sifakis一起,在將Model-Checking發展成為一種高效的驗證技術中所扮演的角色,該技術已被硬件和軟件行業廣泛采用。。
  • 2006 Fran Allen
  • 獲獎原因:對於優化編譯器技術的理論和實踐做出的先驅性貢獻,這些技術為現代優化編譯器和自動並行執行打下了基礎。
  • 2005 Peter Naur
  • 獲獎原因:由於在設計Algol60程序設計語言上的貢獻。Algol60語言定義清晰,是許多現代程序設計語言的原型。
  • 2004 Vinton G. Cerf、Robert E. Kahn
  • 獲獎原因:由於在互聯網方麵開創性的工作,這包括設計和實現了互聯網的基礎通訊協議,TCP/IP,以及在網絡方麵卓越的領導。
  • 2003 Alan Kay
  • 獲獎原因:由於在麵向對象語言方麵原創性思想,領導了Smalltalk的開發團隊,以及對PC的基礎性貢獻。 至理名言:預測未來的最好方法是創造它。
  • 2002 Ronald L. Rivest、Adi Shamir、Leonard M. Adleman
  • 獲獎原因:由於在公共密鑰理論和實踐方麵的基礎性工作。
  • 2001 Ole-Johan Dahl、Kristen Nygaard
  • 獲獎原因:由於麵向對象編程始發於他們基礎性的構想,這些構想集中體現在他們所設計的編程語言SIMULA I 和SIMULA 67中。
  • 2000 Andrew Chi-Chih Yao(姚期智)
  • 獲獎原因:由於在計算理論方麵的貢獻而獲獎,包括偽隨機數的生成算法、加密算法和通訊複雜性。
  • 1999 Frederick P. Brooks, Jr.
  • 獲獎原因:由於在計算機體係架構、操作係統以及軟件工程方麵所做出的具有裏程碑式意義的貢獻。人月神話的作者。
  • 1998 James Gray
  • 獲獎原因:由於在數據庫、事務處理研究和相關係統實現的技術領導工作。
  • 1997 Douglas Engelbart
  • 獲獎原因:由於提出了激動人心的交互式計算機未來構想,以及發明了實現這一構想的關鍵技術。
  • 1996 Amir Pnueli
  • 獲獎原因:由於在計算科學中引入temporal邏輯以及對編程和係統認證方麵的傑出貢獻。
  • 1995 Manuel Blum
  • 獲獎原因:由於在計算複雜性理論、密碼學以及程序校驗方麵的基礎性貢獻。
  • 1994 Edward Feigenbaum、Raj Reddy
  • 獲獎原因:由於他們所設計和建造的大規模人工智能係統,證明了人工智能技術的重要性和其潛在的商業價值。
  • 1993 Juris Hartmanis、Richard E. Stearns
  • 獲獎原因:由於他們的論文奠定了計算複雜性理論的基礎。
  • 1992 Butler W. Lampson
  • 獲獎原因:由於在個人分布式計算機係統及其實現技術上的貢獻,這包括:工作站、網絡、操作係統、編程係統、顯示、安全和文檔發布。
  • 1991 Robin Milner
  • 獲獎原因:由於在可計算函數邏輯(LCF)、ML和並行理論(CCS)這三個方麵突出和完美的貢獻。
  • 1990 Fernando J. Corbato'
  • 獲獎原因:由於組織和領導了多功能、大規模、時間和資源共享的計算機係統的開發。
  • 1989 William (Velvel) Kahan
  • 獲獎原因:由於在數值分析方麵的基礎性貢獻。
  • 1988 Ivan Sutherland
  • 獲獎原因:由於在計算機圖形學方麵開創性和遠見性的貢獻,其所建立的技術曆經二、三十年依然有效。
  • 1987 John Cocke
  • 獲獎原因:由於在編譯器設計和理論、大規模係統架構以及開發RISC等方麵的重要貢獻。
  • 1986 John Hopcroft、Robert Tarjan
  • 獲獎原因:由於在算法及數據結構設計和分析方麵的基礎性成就。
  • 1985 Richard M. Karp
  • 獲獎原因:由於在算法理論方麵,特別是NP-completeness理論方麵,連續不斷的貢獻。
  • 1984 Niklaus Wirth
  • 獲獎原因:由於開發了EULER、 ALGOL-W、 MODULA和PASCAL一係列嶄新的計算語言。
  • 1983 Ken Thompson、Dennis M. Ritchie
  • 獲獎原因:由於在通用操作係統理論研究,特別是UNIX操作係統的實現上的貢獻。
  • 1982 Stephen A. Cook
  • 獲獎原因:由於其於1971年發表的論文,奠定了NP-Completeness理論的基礎。
  • 1981 Edgar F. Codd
  • 獲獎原因:由於在數椐庫管理係統的理論和實踐方麵基礎性和連續不斷的貢獻,關係數據庫之父。
  • 1980 C. Antony R. Hoare
  • 獲獎原因:由於在編程語言的定義和設計方麵的基礎性貢獻。
  • 1979 Kenneth E. Iverson
  • 獲獎原因:由於在編程語言的理論和實踐方麵,特別是APL,所進行的開創性的工作。
  • 1978 Robert W. Floyd
  • 獲獎原因:由於在如何開發高效、可靠的軟件方法論方麵的貢獻,這包括:建立分析理論、編程語言的語義學、自動程序檢驗、自動程序綜合和算法分析在內的多項 計算機子學科。
  • 1977 John Backus
  • 獲獎原因:由於在高級語言方麵所做出的具有廣泛和深遠意義的貢獻,特別是其在Fortran語言方麵。
  • 1976 Michael O. Rabin、Dana S. Scott
  • 獲獎原因:由於他們的論文"有限自動機與它們的決策問題",被證明具有巨大的價值。
  • 1975 Allen Newell、Herbert A. Simon
  • 獲獎原因:由於在人工智能、人類識別心理和表處理的基礎貢獻。
  • 1974 Donald E. Knuth
  • 獲獎原因:由於在算法分析和程序語言設計方麵的重要貢獻,計算機程序設計藝術的作者。
  • 1973 Charles W. Bachman
  • 獲獎原因:由於在數據庫方麵的傑出貢獻。
  • 1972 E.W. Dijkstra
  • 獲獎原因:由於對開發ALGOL做出了原理性貢獻。
  • 1971 John McCarthy
  • 獲獎原因:由於其講稿"The Present State of Research on Artificial Intellegence",對人工智能領域的貢獻。
  • 1970 J.H. Wilkinson
  • 獲獎原因:由於其在數值分析方麵的研究工作。
  • 1969 Marvin Minsky
  • 獲獎原因:人工智能理論及軟件
  • 1968 Richard Hamming
  • 獲獎原因:由於其在計數方法、自動編碼係統、檢測及糾正錯碼方麵的工作。
  • 1967 Maurice V. Wilkes
  • 獲獎原因:由於設計和製造了第一台內部存儲程序的計算機EDSAC。
  • 1966 A.J. Perlis
  • 獲獎原因:由於其在先進編程技術和編譯架構方麵的貢獻。

VIP內容

計算機界最負盛名的獎項——圖靈獎於今日出爐。剛剛,國際計算機協會(ACM)官網宣布將此獎項授予哥倫比亞大學計算機科學名譽教授 Alfred Vaino Aho 和斯坦福大學計算機科學名譽教授 Jeffrey David Ullman,以表彰他們在編程語言實現(programming language implementation)領域基礎算法和理論方麵的成就。

《編譯程序設計原理》(1977)

Principles of Compiler Design (1977)

由 Aho 和 Ullman 合著的這本關於編譯器技術的權威書籍將形式語言理論(formal language theory)和語法製導翻譯技術(syntax-directed translation techniques)集成到編譯器設計過程中。

由於其封麵設計,它通常被稱為 “龍書”。書中清晰地列出了將高級編程語言轉換為機器碼的各個階段,使整個編譯器構建模塊化。同時作者在此書中還闡明了自己在算法方麵對對有效的詞法分析技術(lexical analysis)、語法分析技術(syntax analysis techniques)和代碼生成技術所做貢獻。

這本書的最新版本《編譯原理》(與Ravi Sethi和Monica Lam合著)於2007年出版,至今仍是有關編譯器設計的標準教科書。

成為VIP會員查看完整內容
0
19
0
父主題
薈萃目錄
Top