作者｜Ailleurs

編輯｜陳彩嫻

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

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

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

此外，入選的還有數(shù)據(jù)結(jié)構(gòu)“紅黑樹(shù)”的發(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ù)教授，美國(guó)國(guó)家工程學(xué)院、美國(guó)藝術(shù)與科學(xué)學(xué)院和加拿大皇家學(xué)會(huì)的會(huì)員，以及ACM、IEEE、貝爾實(shí)驗(yàn)室和美國(guó)科學(xué)發(fā)展協(xié)會(huì)的會(huì)員。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ù)無(wú)數(shù)，包括IEEE約翰·馮·諾依曼獎(jiǎng)?wù)潞蚇EC C＆C基金會(huì)C＆C獎(jiǎng)等大獎(jiǎng)。Aho在其博士學(xué)位論文中創(chuàng)建了索引語(yǔ)法和嵌套堆棧自動(dòng)機(jī)，作為擴(kuò)展上下文無(wú)關(guān)語(yǔ)言功能的工具，但保留了它們的許多可判定性和閉包屬性。索引語(yǔ)法已被用于建模并行重寫(xiě)系統(tǒng)，特別是在生物學(xué)應(yīng)用中。在貝爾實(shí)驗(yàn)室工作期間，他設(shè)計(jì)了有效的正則表達(dá)式和字符串模式匹配算法，并在Unix工具egrep和fgrep的第一個(gè)版本中實(shí)現(xiàn)了該算法。Aho還因與Peter J. Weinberger和Brian Kernighan共同編寫(xiě)AWK編程語(yǔ)言而聞名（“ A”代表“ Aho”）。

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

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，國(guó)家工程院院士以及美國(guó)藝術(shù)與科學(xué)學(xué)院院士。曾被授予ACM Allen Newell獎(jiǎng)，以表彰他“在將算法應(yīng)用于計(jì)算機(jī)科學(xué)各個(gè)學(xué)科方面的開(kāi)創(chuàng)性貢獻(xiàn)”。他還是ICCV Helmholtz獎(jiǎng)和DoD Vennevar Bush教員獎(jiǎng)學(xué)金的獲得者。

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

Toniann Pitassi

Toniann Pitassi 是哥倫比亞大學(xué)Jeffrey L.和Brenda Bleustein工程學(xué)教授，IAS（Institute for Advanced Study）訪問(wèn)教授，多倫多大學(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專(zhuān)攻計(jì)算復(fù)雜性理論尤其是證明復(fù)雜性。研究涉及：計(jì)算的局限性、電路復(fù)雜性、證明復(fù)雜性和通信復(fù)雜性。她在這方面的研究貢獻(xiàn)包括：鴿子洞原理的弗雷格證明的指數(shù)下界、切平面法的指數(shù)下界應(yīng)用于最大團(tuán)問(wèn)題產(chǎn)生的命題、使用Davis-Putnam算法求解相同稠密性隨機(jī)實(shí)例的次指數(shù)上界等等。2018年，她因“在計(jì)算和證明復(fù)雜性領(lǐng)域的研究和教育方面的貢獻(xiàn)”而被選為ACM Fellow。2021年，她獲得了EATCS（歐洲理論計(jì)算機(jī)科學(xué)協(xié)會(huì)）獎(jiǎng)，以表彰她“在計(jì)算復(fù)雜性領(lǐng)域的基礎(chǔ)和廣泛的貢獻(xiàn)”。此外，她還對(duì)隱私保護(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，美國(guó)藝術(shù)與科學(xué)學(xué)院院士。曾供職于NEC研究實(shí)驗(yàn)室、拉德克利夫高等研究院。Rubinfeld于1991年在加州大學(xué)伯克利分校獲得博士學(xué)位，導(dǎo)師為Manuel Blum。此前她在密歇根大學(xué)獲得電氣與計(jì)算機(jī)工程學(xué)士學(xué)位。在來(lái)到MIT之前，她曾在普林斯頓大學(xué)和希伯來(lái)大學(xué)擔(dān)任博士后研究員。1992年，她加入康奈爾大學(xué)計(jì)算機(jī)科學(xué)系，期間獲得ONR 青年研究員獎(jiǎng)、斯隆研究獎(jiǎng)、康奈爾工程學(xué)院教學(xué)獎(jiǎng)。

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

Amir Dembo

Amir Dembo是以色列裔美國(guó)數(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ī)過(guò)程、大偏差理論、隨機(jī)矩陣譜理論、隨機(jī)漫步和相互作用粒子系統(tǒng)。

Hollis Cline

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

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

Cline以研究感官體驗(yàn)如何影響大腦發(fā)育和可塑性而聞名。她的研究重點(diǎn)是視覺(jué)體驗(yàn)對(duì)視覺(jué)系統(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

雷峰網(wǎng)雷峰網(wǎng)(公眾號(hào)：雷峰網(wǎng))

雷峰網(wǎng)版權(quán)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見(jiàn)轉(zhuǎn)載須知。