2020年图灵奖刚刚公布,《编译原理》两位作者获奖
Alfred Aho、Jeffrey Ullman两位计算机科学家获奖
计算机领域的最高奖“图灵奖”今年姗姗来迟。
美国计算机协会(ACM)公布,获得2020年图灵奖殊荣的是哥伦比亚大学计算机科学名誉教授Alfred Aho与斯坦福大学计算机科学名誉教授Jeffrey Ullman。
根据官方公告,二位计算机科学家的获奖理由是:表彰他们在编程语言实现的基础算法和理论上做出的贡献。
他们还将在其极富影响力的书籍中综合了这些研究成果,这些著作教育了几代计算机科学家。其中最负盛名的就是经典本科计算机教材“龙书”《编译原理》。
图灵奖通常被称为“计算机界的诺贝尔奖”,奖金为100万美元,由谷歌提供资金支持。
谷歌AI高级副总裁Jeff Dean评价说:
Aho和Ullman建立了关于算法,形式语言,编译器和数据库的基础思想,这些思想对当今编程和软件领域的发展至关重要。
在计算机科学教育方面,他们的教科书已成为培训学生、研究人员和从业人员的黄金标准。
Aho和Ullman二人从1967年在贝尔实验室的合作开始,持续了几十年,为编程语言理论和实现以及算法设计和分析奠定了基础。
在加入贝尔实验室之前,Aho和Ullman都在普林斯顿大学获得了博士学位,他们从1967年到1969年在贝尔实验室一起工作。在贝尔实验室工作期间,他们的早期工作包括开发用于分析和翻译编程语言的高效算法。
1969年,Ullman开始了学术界的职业生涯,最终加入了斯坦福大学,而Aho在贝尔实验室工作了30年,之后才加入哥伦比亚大学。
尽管在不同的机构工作,Aho和Ullman仍保持了数十年的合作,在此期间,他们共同撰写了多部书籍和论文,并介绍了算法、编程语言、编译器和软件系统等新技术。
Alfred Aho
Aho于1941年出生于加拿大。本科就读于多伦多大学,在普林斯顿大学获得电气工程和计算机科学博士学位。
在贝尔实验室期间,Aho为Unix编写了egrep和fgrep工具,大大增强了正则表达式的功能和效率,并在各大Linux发行版中沿用至今。
Aho还与Peter Weinberger和Brian Kernighan合作开发了专门进行文本处理的脚本语言AWK。AWK的名字正是由三位开发者的姓氏首字母构成。
由Aho的正则表达式模式匹配算法衍生出的Lex & Yacc是当今许多编程语言编译器的基础。
Aho是美国国家工程学院、美国科学促进会、ACM与IEEE的会员,并于2003年获冯诺伊曼奖。
截至目前,他的论文总共被引用过8万5千多次,h指数为63。
Jeffrey Ullman
Jeffrey Ullman于1942年出生,于1963年从哥伦比亚大学毕业,获得工程数学理学学士学位,之后于1966年在普林斯顿大学获得电气工程博士学位。
此后他在贝尔实验室工作了数年,1969年到1979年成为普林斯顿大学教授,1979年后加入斯坦福大学。
1995年,他被选为ACM Fellow;2000年,他被授予高德纳奖;2010年,他被授予IEEE约翰·冯·诺依曼奖,获奖理由是“为自动机和语言理论领域奠定了基础,并为理论计算机科学做出了许多开创性的贡献”。
Ullman的研究领域包括数据库理论、数据集成、数据挖掘等,他还是是数据库理论领域的创始人之一,他教授的博士生在毕业后很多都成为领先的数据库理论家。
他还是Google的联合创始人之一谢尔盖·布林(Sergey Brin)的导师,并曾在谷歌的技术顾问委员会任职。
△Ullman和Brin在斯坦福,摄于2002年
除了与Aho合著经典的龙书外,他与1986年图灵奖得主John Hopcroft合著的《自动机理论、语言和计算导论》也是一本经典教材。
著作简介
《编译原理》(Compilers: Principles, Techniques, and Tools)是Alfred Aho与Jeffrey Ullman二人合著的最知名的计算机本科教材,探讨了编译器设计方面的若干重要课题,是编译原理领域的经典教材之一。
该书的第一版出版于1986年,第二版出版于2006年;因两版封面均绘有屠龙勇士和恶龙搏斗的画面而被几代计算机科学工作者昵称为“龙书”。
参考链接: [1] https://amturing.acm.org/ [2]https://en.wikipedia.org/wiki/Alfred_Aho [3] http://infolab.stanford.edu/~ullman/
版权所有,未经授权不得以任何形式转载及使用,违者必究。
- 脑机接口走向现实,11张PPT看懂中国脑机接口产业现状|量子位智库2021-08-10
- 张朝阳开课手推E=mc²,李永乐现场狂做笔记2022-03-11
- 阿里数学竞赛可以报名了!奖金增加到400万元,题目面向大众公开征集2022-03-14
- 英伟达遭黑客最后通牒:今天必须开源GPU驱动,否则公布1TB机密数据2022-03-05