2020年圖靈獎(jiǎng)剛剛公布,《編譯原理》兩位作者獲獎(jiǎng)
Alfred Aho、Jeffrey Ullman兩位計(jì)算機(jī)科學(xué)家獲獎(jiǎng)
計(jì)算機(jī)領(lǐng)域的最高獎(jiǎng)“圖靈獎(jiǎng)”今年姍姍來遲。
美國計(jì)算機(jī)協(xié)會(huì)(ACM)公布,獲得2020年圖靈獎(jiǎng)殊榮的是哥倫比亞大學(xué)計(jì)算機(jī)科學(xué)名譽(yù)教授Alfred Aho與斯坦福大學(xué)計(jì)算機(jī)科學(xué)名譽(yù)教授Jeffrey Ullman。

根據(jù)官方公告,二位計(jì)算機(jī)科學(xué)家的獲獎(jiǎng)理由是:表彰他們?cè)诰幊陶Z言實(shí)現(xiàn)的基礎(chǔ)算法和理論上做出的貢獻(xiàn)。
他們還將在其極富影響力的書籍中綜合了這些研究成果,這些著作教育了幾代計(jì)算機(jī)科學(xué)家。其中最負(fù)盛名的就是經(jīng)典本科計(jì)算機(jī)教材“龍書”《編譯原理》。

圖靈獎(jiǎng)通常被稱為“計(jì)算機(jī)界的諾貝爾獎(jiǎng)”,獎(jiǎng)金為100萬美元,由谷歌提供資金支持。
谷歌AI高級(jí)副總裁Jeff Dean評(píng)價(jià)說:
Aho和Ullman建立了關(guān)于算法,形式語言,編譯器和數(shù)據(jù)庫的基礎(chǔ)思想,這些思想對(duì)當(dāng)今編程和軟件領(lǐng)域的發(fā)展至關(guān)重要。
在計(jì)算機(jī)科學(xué)教育方面,他們的教科書已成為培訓(xùn)學(xué)生、研究人員和從業(yè)人員的黃金標(biāo)準(zhǔn)。
Aho和Ullman二人從1967年在貝爾實(shí)驗(yàn)室的合作開始,持續(xù)了幾十年,為編程語言理論和實(shí)現(xiàn)以及算法設(shè)計(jì)和分析奠定了基礎(chǔ)。
在加入貝爾實(shí)驗(yàn)室之前,Aho和Ullman都在普林斯頓大學(xué)獲得了博士學(xué)位,他們從1967年到1969年在貝爾實(shí)驗(yàn)室一起工作。在貝爾實(shí)驗(yàn)室工作期間,他們的早期工作包括開發(fā)用于分析和翻譯編程語言的高效算法。
1969年,Ullman開始了學(xué)術(shù)界的職業(yè)生涯,最終加入了斯坦福大學(xué),而Aho在貝爾實(shí)驗(yàn)室工作了30年,之后才加入哥倫比亞大學(xué)。
盡管在不同的機(jī)構(gòu)工作,Aho和Ullman仍保持了數(shù)十年的合作,在此期間,他們共同撰寫了多部書籍和論文,并介紹了算法、編程語言、編譯器和軟件系統(tǒng)等新技術(shù)。
Alfred Aho

Aho于1941年出生于加拿大。本科就讀于多倫多大學(xué),在普林斯頓大學(xué)獲得電氣工程和計(jì)算機(jī)科學(xué)博士學(xué)位。
在貝爾實(shí)驗(yàn)室期間,Aho為Unix編寫了egrep和fgrep工具,大大增強(qiáng)了正則表達(dá)式的功能和效率,并在各大Linux發(fā)行版中沿用至今。

Aho還與Peter Weinberger和Brian Kernighan合作開發(fā)了專門進(jìn)行文本處理的腳本語言AWK。AWK的名字正是由三位開發(fā)者的姓氏首字母構(gòu)成。

由Aho的正則表達(dá)式模式匹配算法衍生出的Lex & Yacc是當(dāng)今許多編程語言編譯器的基礎(chǔ)。

Aho是美國國家工程學(xué)院、美國科學(xué)促進(jìn)會(huì)、ACM與IEEE的會(huì)員,并于2003年獲馮諾伊曼獎(jiǎng)。
截至目前,他的論文總共被引用過8萬5千多次,h指數(shù)為63。
Jeffrey Ullman

Jeffrey Ullman于1942年出生,于1963年從哥倫比亞大學(xué)畢業(yè),獲得工程數(shù)學(xué)理學(xué)學(xué)士學(xué)位,之后于1966年在普林斯頓大學(xué)獲得電氣工程博士學(xué)位。
此后他在貝爾實(shí)驗(yàn)室工作了數(shù)年,1969年到1979年成為普林斯頓大學(xué)教授,1979年后加入斯坦福大學(xué)。
1995年,他被選為ACM Fellow;2000年,他被授予高德納獎(jiǎng);2010年,他被授予IEEE約翰·馮·諾依曼獎(jiǎng),獲獎(jiǎng)理由是“為自動(dòng)機(jī)和語言理論領(lǐng)域奠定了基礎(chǔ),并為理論計(jì)算機(jī)科學(xué)做出了許多開創(chuàng)性的貢獻(xiàn)”。?
Ullman的研究領(lǐng)域包括數(shù)據(jù)庫理論、數(shù)據(jù)集成、數(shù)據(jù)挖掘等,他還是是數(shù)據(jù)庫理論領(lǐng)域的創(chuàng)始人之一,他教授的博士生在畢業(yè)后很多都成為領(lǐng)先的數(shù)據(jù)庫理論家。
他還是Google的聯(lián)合創(chuàng)始人之一謝爾蓋·布林(Sergey Brin)的導(dǎo)師,并曾在谷歌的技術(shù)顧問委員會(huì)任職。

△Ullman和Brin在斯坦福,攝于2002年
除了與Aho合著經(jīng)典的龍書外,他與1986年圖靈獎(jiǎng)得主John Hopcroft合著的《自動(dòng)機(jī)理論、語言和計(jì)算導(dǎo)論》也是一本經(jīng)典教材。
著作簡介
《編譯原理》(Compilers: Principles, Techniques, and Tools)是Alfred Aho與Jeffrey Ullman二人合著的最知名的計(jì)算機(jī)本科教材,探討了編譯器設(shè)計(jì)方面的若干重要課題,是編譯原理領(lǐng)域的經(jīng)典教材之一。
?

?
該書的第一版出版于1986年,第二版出版于2006年;因兩版封面均繪有屠龍勇士和惡龍搏斗的畫面而被幾代計(jì)算機(jī)科學(xué)工作者昵稱為“龍書”。
參考鏈接: [1]?https://amturing.acm.org/ [2]https://en.wikipedia.org/wiki/Alfred_Aho [3]?http://infolab.stanford.edu/~ullman/
版權(quán)所有,未經(jīng)授權(quán)不得以任何形式轉(zhuǎn)載及使用,違者必究。