在托尼·霍尔（Tony Hoare）的职业生涯中，1965年对空引用的实现仍然是被引用最多的错误，他将其描述为“价值十亿美元的错误”。除了这一承认之外他对计算机科学的奠基性贡献还包括开发了快速排序算法、用于程序验证的形式逻辑以及通过通信顺序进程规范并发系统。
早年教育与苏联交换
托尼·霍尔1934年出生于科伦坡，早年在牛津的龙学校和坎特伯雷国王学校接受教育。他在牛津大学莫顿学院攻读古典学与哲学，并于1956年毕业。随后在英国皇家海军服兵役期间，他熟练掌握了俄国语言。这项技能促使他得以作为英国文化协会交换生前往莫斯科罗蒙诺索夫国立大学，在安德雷·柯尔莫哥洛夫的指导下学习机器翻译。
对算法与逻辑的贡献
1960年离开苏联后，霍尔加入伦敦的埃利奥特兄弟有限公司。在此期间，他开发了快速排序算法并参与了ALGOL 60编译器的工作。他的职业道路通向学术岗位，包括1968年起担任贝尔法斯特女王大学计算科学教授。他于1977年返回牛津大学，领导编程研究小组，并自1988年起担任首任克里斯托弗·斯特雷奇计算教授，直至2000年退休。
形式方法与并发
霍尔的研究中心在于软件的结构完整性。他开发了霍尔逻辑，为验证程序正确性提供公理基础。在并发计算领域，他引入了通信顺序进程（CSP），这是一种旨在规范并发进程之间交互的形式语言。他在这些领域的旨在解决大规模系统可靠性问题的工作，尽管他后来承认这些形式方法在实际工业应用中面临重大局限。
专业荣誉与晚年
在其职业生涯中，霍尔获得了众多荣誉，包括1980年ACM图灵奖、1985年法拉第奖章以及2000年的爵士封号。他是英国皇家学会院士，也是美国国家科学院和欧洲科学院等多个国际组织的成员。从牛津退休后，他担任剑桥微软研究院的首席研究员。霍尔于2026年3月5日在剑桥逝世。
速览
- 出生：1934年，科伦坡 - 逝世：2026年，剑桥 - 著名算法：快速排序 - 主要领域：计算机科学 - 图灵奖年份：1980年 - 主要学术职务：牛津大学、贝尔法斯特女王大学 - 受封爵士：2000年 - 掌握语言：拉丁语、英语、俄语、古希腊语
读者常见问题
### 什么是价值十亿美元的错误？
霍尔用这个词来描述他在1965年对空引用的发明，这是他在为ALGOL W设计类型系统时实现的，并指出这导致了广泛的系统错误。
### 什么是通信顺序进程？
它是霍尔引入的一种形式语言，用于规范和描述计算机系统中并发进程之间的交互。
