文章来源:AI科技评论
作者|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年图灵奖,以表彰他们“在编程语言实现领域的基础算法和理论方面的成就”。
图 | Alfred Vaino Aho、Jeffrey David Ullman所著“龙书”《编译原理》
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
RECOMMEND
推荐阅读
01
《编译原理(原书第2版)》
作者:Alfred V. Aho 等
译者:赵建华 等
推荐阅读
2020年图灵奖得主Alfred Aho 和 Jeffrey Ullman作品。本书是编译领域无可替代的经典著作,被广大计算机专业人士誉为“龙书”的最新版本。
自本书上出版以来,被世界各地的著名高等院校和研究机构(包括美国哥伦比亚大学、斯坦福大学、哈佛大学、普林斯顿大学、贝尔实验室)作为本科生和研究生的编译原理课程的教材。该书对我国计算机教育领域也具有重大影响。
活动预告
扫码关注【华章计算机】视频号
每天来听华章哥讲书
书讯 | 5月书讯(上)| 元宇宙、因果推断、薛定谔方程...你关注的都在这
资讯 |为企业数字人才建粮仓:专访极客邦科技双数研究院院长付晓岩
收藏 | 终于有人把数据、信息、知识讲明白了
上新 |因果推断会是下一个AI热潮吗?朱迪亚•珀尔新作《因果论》重磅上市!
赠书 | 【第102期】传统企业如何应对数字化转型?这些书给你答案
干货 | 如果机器翻译始终存在缺陷和错误,那它还有什么用处?
点击阅读全文购买