2022 美国科学院院士名单公布：图灵奖得主、龙书作者 Alfred V. Aho 当选

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 最近的研究发现外泌体参与神经元和脑回路的发育。