文章來源：AI科技評論

作者｜Ailleurs

編輯｜陳彩嫻

當(dāng)?shù)貢r(shí)間5月3日，美國國家科學(xué)院（National Academy of Sciences）公布了2022年新一批當(dāng)選的院士名單。120名美國科學(xué)家和30名外籍科學(xué)家因其在原創(chuàng)性研究方面做出的杰出貢獻(xiàn)而入選。到目前為止，美國國家科學(xué)院一共已有2512名院士、517名外籍院士。

在此次當(dāng)選名單中，華人科學(xué)家崔屹、金亦石、馬中珮（Ma, Chung-Pei）、張啟敬（Zhang Qijing）、丁邦容（Ting Jenny）當(dāng)選美國國家科學(xué)院院士，中國科學(xué)院研究員歐陽志云當(dāng)選美國國家科學(xué)院外籍院士。

一些在人工智能、計(jì)算機(jī)相關(guān)領(lǐng)域的著名科學(xué)家也赫然在列，比如2020年圖靈獎得主、龍書作者Alfred Vaino Aho。2018年圖靈獎得主Yann LeCun也入選了去年的新增院士。

此外，入選的還有數(shù)據(jù)結(jié)構(gòu)“紅黑樹”的發(fā)明者、斯坦福大學(xué)計(jì)算機(jī)科學(xué)系教授Leonidas J. Guibas，在計(jì)算復(fù)雜性理論方面貢獻(xiàn)突出的哥倫比亞大學(xué)教授Toniann Pitassi ，研究計(jì)算理論的MIT CSAIL骨干成員Ronitt Rubinfeld，概率論領(lǐng)域的著名學(xué)者、斯坦福大學(xué)數(shù)學(xué)系教授Amir Dembo等。

Alfred Vaino Aho

Alfred Vaino Aho是哥倫比亞大學(xué)Lawrence Gussman榮譽(yù)教授，美國國家工程學(xué)院、美國藝術(shù)與科學(xué)學(xué)院和加拿大皇家學(xué)會的會員，以及ACM、IEEE、貝爾實(shí)驗(yàn)室和美國科學(xué)發(fā)展協(xié)會的會員。Aho于1995年加入哥倫比亞大學(xué)計(jì)算機(jī)科學(xué)系。在加入哥倫比亞大學(xué)之前，Aho曾在貝爾實(shí)驗(yàn)室擔(dān)任計(jì)算科學(xué)研究副總裁，在該實(shí)驗(yàn)室工作了30多年。Aho畢業(yè)于多倫多大學(xué)，之后獲得了普林斯頓大學(xué)電氣工程/計(jì)算機(jī)科學(xué)的碩士學(xué)位和博士學(xué)位。

Aho一生獲譽(yù)無數(shù)，包括IEEE約翰·馮·諾依曼獎?wù)潞蚇EC C＆C基金會C＆C獎等大獎。Aho在其博士學(xué)位論文中創(chuàng)建了索引語法和嵌套堆棧自動機(jī)，作為擴(kuò)展上下文無關(guān)語言功能的工具，但保留了它們的許多可判定性和閉包屬性。索引語法已被用于建模并行重寫系統(tǒng)，特別是在生物學(xué)應(yīng)用中。在貝爾實(shí)驗(yàn)室工作期間，他設(shè)計(jì)了有效的正則表達(dá)式和字符串模式匹配算法，并在Unix工具egrep和fgrep的第一個(gè)版本中實(shí)現(xiàn)了該算法。Aho還因與Peter J. Weinberger和Brian Kernighan共同編寫AWK編程語言而聞名（“ A”代表“ Aho”）。

2021年3月，Aho與斯坦福大學(xué)計(jì)算機(jī)科學(xué)名譽(yù)教授Jeffrey David Ullman被共同授予2020年圖靈獎，以表彰他們“在編程語言實(shí)現(xiàn)領(lǐng)域的基礎(chǔ)算法和理論方面的成就”。

圖 | Alfred Vaino Aho、Jeffrey David Ullman所著“龍書”《編譯原理》

Leonidas J. Guibas

Leonidas J. Guibas是斯坦福大學(xué)計(jì)算機(jī)科學(xué)系教授，斯坦福大學(xué)計(jì)算機(jī)系幾何計(jì)算組主任和計(jì)算機(jī)圖形學(xué)以及人工智能實(shí)驗(yàn)室骨干。他于1976年在斯坦福大學(xué)獲得博士學(xué)位，曾供職于Xerox PARC、MIT以及DEC/SRC，從1984年起一直在斯坦福大學(xué)工作至今。Guibas是ACM和IEEE Fellow，國家工程院院士以及美國藝術(shù)與科學(xué)學(xué)院院士。曾被授予ACM Allen Newell獎，以表彰他“在將算法應(yīng)用于計(jì)算機(jī)科學(xué)各個(gè)學(xué)科方面的開創(chuàng)性貢獻(xiàn)”。他還是ICCV Helmholtz獎和DoD Vennevar Bush教員獎學(xué)金的獲得者。

Guibas師承圖靈獎得主Donald Knuth，是著名數(shù)據(jù)結(jié)構(gòu)“紅黑樹”以及其它多個(gè)著名算法的發(fā)明人。他的算法研究涉及檢測、建模、論證、渲染以及物理世界控制。Guibas的研究興趣廣泛，包括計(jì)算幾何、幾何建模、計(jì)算機(jī)圖形學(xué)、計(jì)算機(jī)視覺、傳感器網(wǎng)絡(luò)、機(jī)器人以及離散算法并在這些領(lǐng)域都取得了令人矚目的研究成果。

Toniann Pitassi

Toniann Pitassi 是哥倫比亞大學(xué)Jeffrey L.和Brenda Bleustein工程學(xué)教授，IAS（Institute for Advanced Study）訪問教授，多倫多大學(xué)貝爾研究中心主席。Pitassi 在賓夕法尼亞州立大學(xué)獲得學(xué)士和碩士學(xué)位，其后前往多倫多大學(xué)獲得博士學(xué)位。博士畢業(yè)后，她在加州大學(xué)圣地亞哥分校做了兩年博士后研究，之后在匹茲堡大學(xué)做了兩年助理教授（數(shù)學(xué)和計(jì)算機(jī)科學(xué)的聯(lián)合任命）。其后四年，她在亞利桑那大學(xué)計(jì)算機(jī)科學(xué)系任教。自2001年在多倫多大學(xué)任教，直到2021年加入哥倫比亞大學(xué)。

Pitassi專攻計(jì)算復(fù)雜性理論尤其是證明復(fù)雜性。研究涉及：計(jì)算的局限性、電路復(fù)雜性、證明復(fù)雜性和通信復(fù)雜性。她在這方面的研究貢獻(xiàn)包括：鴿子洞原理的弗雷格證明的指數(shù)下界、切平面法的指數(shù)下界應(yīng)用于最大團(tuán)問題產(chǎn)生的命題、使用Davis-Putnam算法求解相同稠密性隨機(jī)實(shí)例的次指數(shù)上界等等。2018年，她因“在計(jì)算和證明復(fù)雜性領(lǐng)域的研究和教育方面的貢獻(xiàn)”而被選為ACM Fellow。2021年，她獲得了EATCS（歐洲理論計(jì)算機(jī)科學(xué)協(xié)會）獎，以表彰她“在計(jì)算復(fù)雜性領(lǐng)域的基礎(chǔ)和廣泛的貢獻(xiàn)”。此外，她還對隱私保護(hù)計(jì)算和非歧視性機(jī)器學(xué)習(xí)的數(shù)學(xué)模型感興趣。

Ronitt Rubinfeld

Ronitt Rubinfeld是麻省理工學(xué)院Edwin Sibley Webster電子工程與計(jì)算機(jī)科學(xué)系教授，計(jì)算機(jī)科學(xué)與人工智能實(shí)驗(yàn)室（ CSAIL）的核心成員，ACM Fellow，美國藝術(shù)與科學(xué)學(xué)院院士。曾供職于NEC研究實(shí)驗(yàn)室、拉德克利夫高等研究院。Rubinfeld于1991年在加州大學(xué)伯克利分校獲得博士學(xué)位，導(dǎo)師為Manuel Blum。此前她在密歇根大學(xué)獲得電氣與計(jì)算機(jī)工程學(xué)士學(xué)位。在來到MIT之前，她曾在普林斯頓大學(xué)和希伯來大學(xué)擔(dān)任博士后研究員。1992年，她加入康奈爾大學(xué)計(jì)算機(jī)科學(xué)系，期間獲得ONR 青年研究員獎、斯隆研究獎、康奈爾工程學(xué)院教學(xué)獎。

她的主要研究領(lǐng)域是計(jì)算理論，包括隨機(jī)和次線性時(shí)間算法，探索從少量數(shù)據(jù)中能理解出什么的問題。

Amir Dembo

Amir Dembo是以色列裔美國數(shù)學(xué)家，斯坦福大學(xué)數(shù)學(xué)系數(shù)學(xué)與統(tǒng)計(jì)學(xué)教授，Marjorie Mhoon Fair定量科學(xué)教授。Dembo于1980年從以色列理工學(xué)院（Technion）獲得電氣工程學(xué)士學(xué)位。1986年，他在David Malah教授的指導(dǎo)下獲得電氣工程博士學(xué)位，博士論文題目為“Design of Digital FIR Filter Arrays”。1990年至今，Dembo在斯坦福大學(xué)任教。

Dembo的研究興趣包括概率論和隨機(jī)過程、大偏差理論、隨機(jī)矩陣譜理論、隨機(jī)漫步和相互作用粒子系統(tǒng)。

Hollis Cline

Hollis Cline是加州斯克利普斯研究所Dorris神經(jīng)科學(xué)中心主任，神經(jīng)科學(xué)Hahn教授，美國科學(xué)促進(jìn)協(xié)會的會員，神經(jīng)科學(xué)學(xué)會主席，以及美國國家眼科研究所咨詢委員會的成員、美國國家神經(jīng)疾病和中風(fēng)研究所咨詢委員會和美國國立衛(wèi)生研究院大腦多委員會工作組的成員。

Cline于1977年獲得布林莫爾學(xué)院的生物學(xué)學(xué)士學(xué)位。1985年獲得加州大學(xué)伯克利分校神經(jīng)生物學(xué)博士學(xué)位。1989年，她加入Richard W. Tsien的實(shí)驗(yàn)室，在斯坦福大學(xué)醫(yī)學(xué)中心擔(dān)任博士后研究員。此后不久，她被任命為愛荷華大學(xué)醫(yī)學(xué)院生理學(xué)和生物物理系的教員。1994年，她搬到冷泉港實(shí)驗(yàn)室，任Marie Robertson神經(jīng)生物學(xué)教授，于2002年至2006年擔(dān)任研究主任，在此期間，她獲得了國家衛(wèi)生研究院院長先鋒獎。2008年開始，Cline在斯克利普斯研究所擔(dān)任神經(jīng)科學(xué)系主任。2012年，Cline因“在感覺體驗(yàn)如何影響大腦結(jié)構(gòu)和功能的發(fā)展方面做出了開創(chuàng)性的研究，并為神經(jīng)科學(xué)提供了慷慨的國內(nèi)和國際咨詢服務(wù)”而被選為美國科學(xué)促進(jìn)會的會員。她于2019年被授予神經(jīng)科學(xué)學(xué)會Mika Salpeter終身成就獎。

Cline以研究感官體驗(yàn)如何影響大腦發(fā)育和可塑性而聞名。她的研究重點(diǎn)是視覺體驗(yàn)對視覺系統(tǒng)發(fā)育的影響，涉及地形圖形成、神經(jīng)發(fā)生、突觸形成和可塑性、神經(jīng)元發(fā)育和腦回路組裝的機(jī)制等方面。Cline的研究表明，影響突觸穩(wěn)定性的各種分子和細(xì)胞機(jī)制最終將影響大腦的連接和功能。Cline最近的研究發(fā)現(xiàn)外泌體參與神經(jīng)元和腦回路的發(fā)育。

祝賀以上新晉院士～

參考鏈接：

http://www.nasonline.org/news-and-multimedia/news/2022-nas-election.html

https://en.wikipedia.org/wiki/Amir_Dembo

https://geometry.stanford.edu/member/guibas/

https://en.m.wikipedia.org/wiki/Toniann_Pitassi

https://en.m.wikipedia.org/wiki/Ronitt_Rubinfeld

RECOMMEND

推薦閱讀

01

《編譯原理（原書第2版）》??

? ?

作者：Alfred V. Aho?等

譯者：趙建華 等

推薦閱讀

2020年圖靈獎得主Alfred Aho 和 Jeffrey Ullman作品。本書是編譯領(lǐng)域無可替代的經(jīng)典著作，被廣大計(jì)算機(jī)專業(yè)人士譽(yù)為“龍書”的最新版本。

自本書上出版以來，被世界各地的著名高等院校和研究機(jī)構(gòu)（包括美國哥倫比亞大學(xué)、斯坦福大學(xué)、哈佛大學(xué)、普林斯頓大學(xué)、貝爾實(shí)驗(yàn)室）作為本科生和研究生的編譯原理課程的教材。該書對我國計(jì)算機(jī)教育領(lǐng)域也具有重大影響。

活動預(yù)告

掃碼關(guān)注【華章計(jì)算機(jī)】視頻號

每天來聽華章哥講書

更多精彩回顧

書訊 |?5月書訊（上）|??元宇宙、因果推斷、薛定諤方程...你關(guān)注的都在這

書訊 |?5月書訊（下）|設(shè)計(jì)致物系列+少兒編程好書推薦

資訊 |為企業(yè)數(shù)字人才建糧倉：專訪極客邦科技雙數(shù)研究院院長付曉巖

書單 |?知乎高贊：有哪些你看了以后大呼過癮的數(shù)據(jù)分析書？

干貨 |?一本你能讀懂的薛定諤方程！

收藏 |?終于有人把數(shù)據(jù)、信息、知識講明白了

上新 |因果推斷會是下一個(gè)AI熱潮嗎？朱迪亞?珀?duì)栃伦鳌兑蚬摗分匕跎鲜?#xff01;

贈書?|?【第102期】傳統(tǒng)企業(yè)如何應(yīng)對數(shù)字化轉(zhuǎn)型？這些書給你答案

干貨?| 為什么每一名程序員都應(yīng)該學(xué)習(xí) C++？

干貨 |?如果機(jī)器翻譯始終存在缺陷和錯誤，那它還有什么用處？

點(diǎn)擊閱讀全文購買

總結(jié)

以上是生活随笔為你收集整理的2022美国科学院院士名单公布：图灵奖得主、龙书作者Alfred V. Aho当选！的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

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