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

根據(jù)ACM的介紹，兩人獲獎的成就是：“提出了編程語言實(shí)現(xiàn)的基本算法和理論，以及將這些成果與其他結(jié)果集結(jié)到他們極有影響力的著作中，這些著作影響了幾個世代的計算機(jī)科學(xué)家。”

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

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

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

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

如今，一切與我們產(chǎn)生互動的技術(shù)中，計算機(jī)軟件幾乎都在背后提供“動力”。

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

1967年起，兩人在貝爾實(shí)驗室中開始了合作，這種合作關(guān)系一直持續(xù)了幾十年，期間，Aho和Ullman共同奠定了編程語言的理論與實(shí)現(xiàn)、算法的設(shè)計和分析。通過其技術(shù)貢獻(xiàn)和著書立作，他們?yōu)榫幊填I(lǐng)域做出了廣泛且奠基式的貢獻(xiàn)。

正如現(xiàn)任ACM主席Gabriele Kotsis所說：“計算機(jī)程序設(shè)計的實(shí)踐和日益先進(jìn)的軟件系統(tǒng)開發(fā)，支撐了過去五年來人類社會經(jīng)歷的幾乎所有技術(shù)轉(zhuǎn)型。

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

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

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

Aho和Ullman介紹了包括算法在內(nèi)的關(guān)鍵技術(shù)概念，這些概念一直是必不可少的。在計算機(jī)科學(xué)教育領(lǐng)域，他們的教科書一直是培養(yǎng)學(xué)生、研究人員和從業(yè)人員的黃金標(biāo)準(zhǔn)。"

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

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

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

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

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

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

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

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

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

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

往期精彩回顧適合初學(xué)者入門人工智能的路線及資料下載機(jī)器學(xué)習(xí)及深度學(xué)習(xí)筆記等資料打印機(jī)器學(xué)習(xí)在線手冊深度學(xué)習(xí)筆記專輯《統(tǒng)計學(xué)習(xí)方法》的代碼復(fù)現(xiàn)專輯 AI基礎(chǔ)下載機(jī)器學(xué)習(xí)的數(shù)學(xué)基礎(chǔ)專輯溫州大學(xué)《機(jī)器學(xué)習(xí)課程》視頻 本站qq群851320808，加入微信群請掃碼：

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。