當(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ā)明人。他的算法研究涉及檢測、建模、論證、渲染以及物理世界控制。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)”。此外,她還對隱私保護(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)對視覺系統(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
廣告聲明:文內(nèi)含有的對外跳轉(zhuǎn)鏈接(包括不限于超鏈接、二維碼、口令等形式),用于傳遞更多信息,節(jié)省甄選時(shí)間,結(jié)果僅供參考,IT之家所有文章均包含本聲明。