东尼·霍尔逝世：图灵奖得主与快速排序的发明者

英国计算机科学家、1980年图灵奖得主Tony Hoare（C. A. R. Hoare）于2026年3月5日去世，享年92岁。他是现代计算机科学的重要奠基者之一，对算法、程序语言与软件可靠性研究产生了深远影响。Hoare最广为人知的贡献是快速排序（Quicksort）算法，他在1960年提出该算法，如今仍是最常用、最经典的排序方法之一。此外，他还提出了Hoare逻辑，为证明程序正确性提供了公理化方法，并创建了通信顺序进程（CSP）模型，用于描述并发系统中各进程之间的交互。由于对编程语言设计和理论计算机科学的基础性贡献，他于1980年获得图灵奖。此后还获得京都奖、冯·诺依曼奖等多项国际荣誉，并于2000年被英国女王授予爵士称号。