,,

美國國家科學院公布新一批當選院士名單 30名外籍科學家入選

2022-05-07 13:33:02 來源：雷峰網

美國國家科學院(National Academy of Sciences)公布了 2022 年新一批當選的院士名單。120 名美國科學家和 30 名外籍科學家因其在原創性研究方面做出的杰出貢獻而入選。到目前為止，美國國家科學院一共已有 2512 名院士、517 名外籍院士。

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

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

此外，入選的還有數據結構“紅黑樹”的發明者、斯坦福大學計算機科學系教授 Leonidas J. Guibas，在計算復雜性理論方面貢獻突出的哥倫比亞大學教授 Toniann Pitassi ，研究計算理論的 MIT CSAIL 骨干成員 Ronitt Rubinfeld，概率論領域的著名學者、斯坦福大學數學系教授 Amir Dembo 等。

Alfred Vaino Aho

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

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

2021 年 3 月，Aho 與斯坦福大學計算機科學名譽教授 Jeffrey David Ullman 被共同授予 2020 年圖靈獎，以表彰他們“在編程語言實現領域的基礎算法和理論方面的成就”。

Leonidas J. Guibas

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

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

Toniann Pitassi

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

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

Ronitt Rubinfeld

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

她的主要研究領域是計算理論，包括隨機和次線性時間算法，探索從少量數據中能理解出什么的問題。

Amir Dembo

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

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

Hollis Cline

Hollis Cline 是加州斯克利普斯研究所 Dorris 神經科學中心主任，神經科學 Hahn 教授，美國科學促進協會的會員，神經科學學會主席，以及美國國家眼科研究所咨詢委員會的成員、美國國家神經疾病和中風研究所咨詢委員會和美國國立衛生研究院大腦多委員會工作組的成員。

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

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

關鍵詞：美國國家科學院外籍科學家美國科學家華人科學家