阿尔弗雷德·瓦伊诺·阿霍（Alfred Vaino Aho，1941年8月9日出生）是加拿大计算机科学家，以其在编程语言、编译器及相关算法方面的贡献，以及关于计算机编程艺术与科学的教科书而闻名。他与长期合作者杰弗里·乌尔曼（Jeffrey Ullman）共同荣获2020年图灵奖，该奖通常被视为计算机科学领域的最高荣誉。阿霍于1999年因其在算法和编程工具领域的贡献而当选为美国国家工程院院士。
阿霍的研究和出版物对编程语言的设计、分析和编译方式产生了持久影响。他的教科书，特别是关于编译器设计的“龙书”，培养了几代计算机科学家和工程师。他的工作范围从理论基础延伸到Unix操作系统中使用的实用工具。
教育与早期职业生涯
阿霍于1963年在多伦多大学获得工程物理学学士学位，随后于1965年和1967年在普林斯顿大学分别获得电气工程/计算机科学硕士和博士学位。在博士论文中，阿霍创建了索引文法（indexed grammars）和嵌套栈自动机，作为扩展上下文无关语言能力同时保留其许多可判定性和封闭性属性的工具。索引文法的一个应用是模拟并行重写系统，特别是在生物学应用中。
从普林斯顿毕业后，阿霍加入了贝尔实验室的计算科学研究中心，在那里他设计了高效的正则表达式和字符串模式匹配算法，并将其实现到Unix工具egrep和fgrep的早期版本中。fgrep算法后来被称为Aho–Corasick算法，被多个文献检索系统和其他字符串搜索应用所使用。
对编译器和工具的贡献
在贝尔实验室，阿霍与史蒂夫·约翰逊（Steve Johnson）和杰弗里·乌尔曼密切合作，开发了用于分析和翻译编程语言的高效算法。史蒂夫·约翰逊使用自底向上的LALR解析算法创建了语法分析器生成器yacc，而迈克尔·E·莱斯克（Michael E. Lesk）和埃里克·施密特（Eric Schmidt）使用阿霍的正则表达式模式匹配算法创建了词法分析器生成器lex。lex和yacc工具及其衍生版本已被用于开发当今许多编程语言编译器的前端。
阿霍还因与彼得·J·温伯格（Peter J. Weinberger）和布莱恩·克尼汉（Brian Kernighan）共同创作AWK编程语言而广为人知（其中的“A”代表“Aho”）。这种文本处理语言成为Unix环境中的标准工具，并影响了后续许多脚本语言。
龙书与算法
阿霍和乌尔曼撰写了一系列关于编译技术的教科书，系统地整理了与编译器设计相关的理论。他们1977年的教科书《编译器设计原理》封面有绿色龙，因而被称为“绿龙书”。1986年，阿霍和乌尔曼与拉维·塞西（Ravi Sethi）合作推出了新版本，即“红龙书”，2006年又与莫妮卡·拉姆（Monica Lam）合作推出了“紫龙书”。龙书被用于大学课程以及行业参考。
1974年，阿霍、约翰·霍普克罗夫特（John Hopcroft）和乌尔曼撰写了《计算机算法的设计与分析》，系统地整理了他们在算法方面的一些早期研究。这本书在数十年间成为计算机科学中被引用最多的书籍之一，并有助于推动算法和数据结构成为计算机科学课程中的核心课程。
学术生涯与荣誉
自1995年以来，阿霍在哥伦比亚大学担任劳伦斯·古斯曼计算机科学教授。他于1995年至1997年担任系主任，并于2003年春季再次担任。截至2010年，他的研究兴趣包括编程语言、编译器、算法和量子计算。他是哥伦比亚大学语言与编译器研究小组的成员。
阿霍获得了许多 prestigious 荣誉，包括IEEE的约翰·冯·诺依曼奖章以及美国国家工程院和美国国家科学院院士资格。他于2003年当选为美国艺术与科学院院士。他拥有滑铁卢大学、赫尔辛基大学和多伦多大学的荣誉博士学位。他是美国科学促进会、ACM、贝尔实验室和IEEE的会士。阿霍、霍普克罗夫特和乌尔曼共同获得了由NEC公司颁发的2017年C&C奖。他和乌尔曼于2021年3月31日被宣布为2020年图灵奖获得者。
个人生活与教学
阿霍自1995年起在纽约市的哥伦比亚大学任教。他于2003年获得了哥伦比亚大学毕业生协会颁发的杰出教师奖。阿霍曾两次担任美国国家科学基金会计算机与信息科学与工程理事会咨询委员会主席。他是ACM算法与可计算性理论特别兴趣小组的前任主席。总体而言，截至2019年5月8日，他的作品被引用81,040次，h指数为66。