米兰·(milan)中国官方网站-2022美国科学院院士名单公布：图灵奖得主、龙书作者Alfred V. Aho当选！

作者｜Ailleurs

本地时间5月3日，美国国度科学院（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近来的研究发明外泌体介入神经元及脑回路的发育。

庆贺以上新晋院士～

参考链接：

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

雷峰网雷峰网(公家号：雷峰网)

雷峰网版权文章，未经授权禁止转载。详情见转载须知。