快速排序(Quicksort)算法之父、图灵奖得主 Tony Hoare 去世
计算机科学界一位奠基性人物、图灵奖得主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(图灵...
