计算机科学界一位奠基性人物、图灵奖得主Tony Hoare（托尼·霍尔）于2026年3月5日去世，享年92岁。这位英国计算机科学家留下了深远的技术遗产，其提出的算法和理论至今仍是软件工程与计算机科学教育的核心内容。

Hoare最广为人知的贡献是快速排序（Quicksort）算法。这一算法以高效的排序性能著称，自20世纪60年代提出以来一直是计算机科学教材中的经典案例，并在实际软件系统中被广泛应用。

当然，Hoare的影响远不止一个算法。他在多个关键领域奠定了理论基础，包括：

• Hoare Logic（霍尔逻辑）：用于证明程序正确性的形式化方法，为软件验证领域提供了数学工具。

• Communicating Sequential Processes（CSP）：描述并发系统行为的理论模型，对并发编程语言和系统设计产生了深远影响。

• ALGOL 编程语言的发展：推动了现代编程语言结构化设计。

• 空引用（Null reference）概念：他后来将其称为自己著名的“十亿美元错误”。

凭借这些开创性贡献，Hoare在1980年获得了计算机科学领域最高荣誉——ACM A.M. Turing Award（图灵奖）。该奖项表彰他在编程语言定义与设计方面的基础性贡献。

Hoare 1934年出生于当时的英属锡兰（今斯里兰卡），在牛津大学接受教育，并在职业生涯中先后任教于多所高校，最终成为牛津大学计算机科学教授。他同时也是Microsoft Research剑桥研究院的重要研究成员之一。

在悼念文章中，研究者回忆称Hoare在晚年仍保持对计算机科学的浓厚兴趣，经常与学者交流技术问题，并乐于分享自己的经历与见解。许多计算机科学家认为，Hoare的工作塑造了现代软件工程的基础。从排序算法到程序验证，再到并发系统理论，他的思想影响了几代程序员和研究者。