剛剛，最新一屆圖靈獎頒出，Alfred Aho、Jeffrey Ullman兩位計算機科學家因基礎算法和理論而獲得2020年ACM 圖靈獎。

根據ACM的介紹，兩人獲獎的成就是：“提出了編程語言實現的基本算法和理論，以及將這些成果與其他結果集結到他們極有影響力的著作中，這些著作影響了幾個世代的計算機科學家?！?/p>

Alfred Aho是哥倫比亞大學勞倫斯·古斯曼名譽教授。他于1995年加入了哥倫比亞大學計算機科學系。在此之前，Aho曾擔任貝爾實驗室計算科學研究副總裁，且工作了30余年。Aho畢業于多倫多大學，并在普林斯頓大學獲得電氣工程/計算機科學碩士和博士學位。

Aho的榮譽包括IEEE 馮諾依曼獎和NEC C&C基金會C&C獎。此外，他是美國國家工程學院、美國藝術與科學學院和加拿大皇家學會的成員、ACM、IEEE、貝爾實驗室和美國科學促進會（AAAS）的成員。

Jeffrey Ullman是斯坦福大學的Stanford W. Ascherman名譽教授，以及Gradient Corporation的首席執行官，這是一個針對各種計算機科學主題的在線學習平臺。此外，他于1979年加入斯坦福大學。在此之前，他于1969年至1979年在普林斯頓大學任教，1966年至1969年在貝爾實驗室擔任技術人員。Ullman畢業于哥倫比亞大學，在普林斯頓大學獲得計算機科學博士學位。

Ullman的榮譽包括獲得IEEE 馮諾依曼獎、NEC C&C基金會C&C獎、高德納獎（Donald E. Knuth）和ACM Karl V. Karlstrom杰出教育獎。他是美國國家工程院、美國國家科學院、美國藝術與科學學院的成員，同時也擔任ACM的研究員。

如今，一切與我們產生互動的技術中，計算機軟件幾乎都在背后提供“動力”。

從我們所使用的手機上、汽車中的程序，到公司內部大型服務器場上運行的程序，都是由人類采用高級編程語言編寫、再編譯為較低級的代碼才得以運行。在這個過程中，用于翻譯現代編程語言的諸多技術，便源于Aho和Ullman的成就。

1967年起，兩人在貝爾實驗室中開始了合作，這種合作關系一直持續了幾十年，期間，Aho和Ullman共同奠定了編程語言的理論與實現、算法的設計和分析。通過其技術貢獻和著書立作，他們為編程領域做出了廣泛且奠基式的貢獻。

正如現任ACM主席Gabriele Kotsis所說：“計算機程序設計的實踐和日益先進的軟件系統開發，支撐了過去五年來人類社會經歷的幾乎所有技術轉型。

幾十年來，盡管無數的研究人員和從業人員為這些技術做出了貢獻，但Aho和Ullman的工作尤為重要。他們提出了幫助我們了解算法的理論基礎，并規劃了編譯器和編程語言設計方面的研究和實踐課程。

自1970年代初以來，Aho和Ullman一直是思想領袖，他們的工作一直指導著幾代程序員和研究人員。”

Google高級研究員Jeff Dean表示：“Aho和Ullman建立了關于算法、形式語言、編譯器和數據庫的基礎思想，這些思想對當今編程和軟件領域的發展至關重要。他們還闡明了不同學科之間是如何緊密聯系在一起的。

Aho和Ullman介紹了包括算法在內的關鍵技術概念，這些概念一直是必不可少的。在計算機科學教育領域，他們的教科書一直是培養學生、研究人員和從業人員的黃金標準。"

在加入貝爾實驗室之前，兩人都在普林斯頓大學獲得了博士學位。而在貝爾實驗室工作期間，他們早期的工作包括開發出用于分析和翻譯編程語言的有效算法。

1969年，Ullman開始了新的學術生涯，最終進入到斯坦福大學任教，而Aho 則在加入哥倫比亞大學之前，一直在貝爾實驗室工作了30年。

盡管兩人后來身處不同的機構，但他們的合作并未中斷，特別是在合著介紹算法、編程語言技術書籍和論文上，兩人一直保持同步。

據了解，Aho和Ullman共合著了九本有影響力的書籍（將第一版和后續版本包含在內）。

其中影響力最廣泛的兩本分別是：

《計算機算法的設計與分析(1974)》（The Design and Analysis of Computer Algorithms ），這本書由Aho、Ullman和John Hopcroft（同樣是圖靈獎得主）共同撰寫，此書不僅被公認為該領域的經典之作，還是近十多年來在計算機科學研究中引用率最多的書籍之一。

當計算機科學還是一個新興領域時，它便成為了全球算法課程的標準教科書。除了將自己的研究成果融入到算法中，《計算機算法的設計與分析》還引入了隨機訪問機器（RAM, Random Access Machine）作為利用遞推關系（recurrence relations）分析計算機算法的時間和空間復雜性的基本模型。RAM模型也將不同的算法編入通用的設計方法。RAM模型和在這本書中介紹的一般算法設計技術現在形成了標準計算機科學課程的一個組成部分。

另一本則是《編譯設計原則（1977）》（Principles of Compiler Design）。

這本書由Aho和Ullman合著，是一本關于編譯器技術的權威書籍，它將形式語言理論（formal language theory）和語法定向翻譯技術（syntax-directed translation techniques）集成到編譯器設計過程中。

由于其封面設計，此書經常被稱為“龍書”（Dragon Book）。它不僅清晰地列出了將高級編程語言翻譯成機器代碼的階段化過程，而且模塊化了編譯器構造的整個企業。其中包括作者對詞匯分析、語法分析技術和代碼生成的有效技術所做的算法貢獻。這本書的當前版本為 Compilers: Principles, Techniques and Tools ?(Ravi Sethi和Monica Lam合著)，于2007年出版，仍然是編譯器設計的標準教科書。

往期精彩回顧適合初學者入門人工智能的路線及資料下載機器學習及深度學習筆記等資料打印機器學習在線手冊深度學習筆記專輯《統計學習方法》的代碼復現專輯 AI基礎下載機器學習的數學基礎專輯溫州大學《機器學習課程》視頻 本站qq群851320808，加入微信群請掃碼：

總結

以上是生活随笔為你收集整理的【学术相关】2020 图灵奖发布，两位编程语言先驱、《龙书》作者获奖的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。