當(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 年圖靈獎(jiǎng)得主、龍書作者 Alfred Vaino Aho。2018 年圖靈獎(jiǎng)得主 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é)會(huì)的會(huì)員，以及 ACM、IEEE、貝爾實(shí)驗(yàn)室和美國科學(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ù)無數(shù)，包括 IEEE 約翰?馮?諾依曼獎(jiǎng)?wù)潞?NEC C＆C 基金會(huì) C＆C 獎(jiǎng)等大獎(jiǎng)。Aho 在其博士學(xué)位論文中創(chuàng)建了索引語法和嵌套堆棧自動(dò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 年圖靈獎(jiǎng)，以表彰他們“在編程語言實(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，國家工程院院士以及美國藝術(shù)與科學(xué)學(xué)院院士。曾被授予 ACM Allen Newell 獎(jiǎng)，以表彰他“在將算法應(yīng)用于計(jì)算機(jī)科學(xué)各個(gè)學(xué)科方面的開創(chuàng)性貢獻(xiàn)”。他還是 ICCV Helmholtz 獎(jiǎng)和 DoD Vennevar Bush 教員獎(jiǎng)學(xué)金的獲得者。

Guibas 師承圖靈獎(jiǎng)得主 Donald Knuth，是著名數(shù)據(jù)結(jié)構(gòu)“紅黑樹”以及其它多個(gè)著名算法的發(fā)明人。他的算法研究涉及檢測(cè)、建模、論證、渲染以及物理世界控制。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é)會(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，美國藝術(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 青年研究員獎(jiǎng)、斯隆研究獎(jiǎng)、康奈爾工程學(xué)院教學(xué)獎(jiǎng)。

她的主要研究領(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é)會(huì)的會(huì)員，神經(jīng)科學(xué)學(xué)會(huì)主席，以及美國國家眼科研究所咨詢委員會(huì)的成員、美國國家神經(jīng)疾病和中風(fēng)研究所咨詢委員會(huì)和美國國立衛(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)任博士后研究員。此后不久，她被任命為愛荷華大學(xué)醫(yī)學(xué)院生理學(xué)和生物物理系的教員。1994 年，她搬到冷泉港實(shí)驗(yàn)室，任 Marie Robertson 神經(jīng)生物學(xué)教授，于 2002 年至 2006 年擔(dān)任研究主任，在此期間，她獲得了國家衛(wèi)生研究院院長先鋒獎(jiǎng)。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)會(huì)的會(huì)員。她于 2019 年被授予神經(jīng)科學(xué)學(xué)會(huì) Mika Salpeter 終身成就獎(jiǎng)。

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