知识
在计算机科学领域中占据重要地位的英国科学家托尼·霍尔爵士（Sir Tony Hoare），以其深远且广泛的贡献获得了1980年的图灵奖这一至高荣誉。他不仅是快速排序算法的创始人，该算法如今已成为全球范围内最广泛使用的排序方法之一，对提升计算效率产生了革命性影响；同时，他还是一位卓越的并发计算模型研究者，提出并发展了通信顺序进程（Communicating Sequential Processes, CSP）理论。
托尼·霍尔（Tony Hoare），1934年1月11日出生于斯里兰卡，1980年图灵奖得主，美国国家科学院外籍院士，美国国家工程院外籍院士，英国皇家工程院院士，英国皇家学会院士，英国爵士，牛津大学名誉教授，英国剑桥微软研究院高级研究员。
1934年托尼·霍尔出生于斯里兰卡；1953年至1956年就读于牛津大学默顿学院，学习古典与哲学；1956年在牛津大学学习统计学研究生课程；1957年至1958年服役于英国皇家海军；1958年至1960年在莫斯科国立大学学习人类语言的计算机翻译研究生课程；1960年至1968年在艾略特兄弟电脑公司工作；1968年至1977年担任贝尔法斯特女王大学计算机科学教授；1980年获得图灵奖；1982年当选为英国皇家学会院士；2000年因对教育和计算机科学的贡献被时任英国女王封为爵士；2005年当选为英国皇家工程院院士；2006年当选为美国计算机历史博物馆fellow。
托尼·霍尔致力于编程语言的研究。
1934年1月11日，托尼·霍尔出生于斯里兰卡。
1953年—1956年，就读于牛津大学默顿学院，学习古典与哲学。
1956年，在牛津大学学习统计学研究生课程。
1957年—1958年，服役于英国皇家海军。
1958年—1960年，在莫斯科国立大学学习人类语言的计算机翻译研究生课程，师从安德烈·科尔莫戈罗夫。
1960年—1968年，在艾略特兄弟电脑公司工作。
1968年—1977年，担任贝尔法斯特女王大学计算机科学教授。
1977年，成为牛津大学教授。
1980年，获得图灵奖。
1982年，当选为英国皇家学会院士。
1999年，从牛津大学退休。
1999年—2015年，担任微软研究院高级首席研究员。
2000年，因对教育和计算机科学的贡献被英国女王伊丽莎白二世封为爵士。
2005年，当选为英国皇家工程院院士。
2006年，当选为美国计算机历史博物馆fellow，同年当选为美国国家工程院外籍院士。
2015年—2021年，担任微软研究院名誉访问者。
2017年，当选为美国国家科学院外籍院士。
1960年，霍尔进入Elliott兄弟伦敦公司，成为一名程序员。他接到的第一个任务，就是为Elliott 803计算机编写一个库程序，实现新发明出来的Shell排序算法。在此过程中，霍尔对不断提升代码的效率着了迷。他不仅很好地完成了任务，还发明了一种新算法，比Shell还快，而且不会多耗费太多空间。这就是后来闻名于世的快速排序算法Quicksort。值得一提的是，发明该算法时他只有26岁。
随后，霍尔又接到了新任务——在公司新机型Elliott 503上实现Algol 60语言。Elliott Algol的开发非常顺利，大获成功，霍尔本人也从此受到国际学术界的重视。当然，对他来说，另一件事情更为重要，他和项目中另一位当时比自己更专业的女程序员Jill Pym相识相知，并最后结婚。
1968年他到北爱尔兰女王大学从事教学和研究，1977年转入牛津大学，目前还同时担任微软研究院的研究员。他全身心地投入到计算机科学理论的研究中，作出了许多创造性的重大贡献，尤其是程序设计理论和操作系统设计等方面，目前许多广泛流行与应用着的概念都源于霍尔的工作。
1969年10月，霍尔在Communications of the ACM上发表了有里程碑意义的论文“计算机程序设计的公理基础”。在这篇论文中，霍尔提出了公理语义学，这是继1963年用递归函数定义程序，以及在1967年基于程序流程图的归纳断言法以后，程序逻辑研究中所取得的又一个重大技术进展。
20世纪70年代后期，霍尔深入研究并实现了程序设计语言CSP，后来成为著名的并行处理语言Occam的基础。80年代中期，霍尔和S. Brools等人合作，提出了“CSP理论”，开创了用代数方法研究通信并发系统的先河，形成了“进程代数”这一新的研究领域。1995年他还和我国学者、中科院院士何积丰合作，提出了统一程序设计理论。
霍尔发表过许多高水平的论著。ACM在1983年评选出最近25年中发表在Communications of the ACM上的有里程碑式意义的25篇经典论文，只有2名学者各有2篇论文入选，霍尔就是其中之一。1972年他与O.J. Dahl和E. W. Dijkstra三位图灵奖得主合著的Structured Programming一书，更是难以逾越的高峰。
霍尔获奖无数，1980年获得美国计算机学会(ACM)设立的计算机界最高奖——图灵奖；1981年获得AFIPS的Harry Goode奖；1985年获得英国IEE的法拉第奖章；1990年被IEEE授予计算机先驱奖。2000年获得日本稻盛财团设立的国际大奖——京都奖(尖端技术领域)。
2009年3月他在Qcon技术会议上发表了题为“Null引用：代价十亿美元的错误”的演讲，回忆自己1965年设计第一个全面的类型系统时，未能抵御住诱惑，加入了Null引用，仅仅是因为实现起来非常容易。它后来成为许多程序设计语言的标准特性，导致了数不清的错误、漏洞和系统崩溃，可能在之后40年中造成了十亿美元的损失。他在同月出版Communications of the ACM中表示，如何证明程序的正确性仍然是计算机科学中有待解决的重大课题。
2021年1月14日，ACMFellow名单公布，Tony Hoare在列。
文明上网，理性发言，共同做网络文明传播者