图灵奖：托尼·霍尔（1980）

图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 18 期。图灵奖：托尼·霍尔（1980）

文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。

本文来自 wiki:Tony Hoare，翻译基于 谷歌翻译.

快排，霍尔逻辑，空指针，ALGOL，哲学家就餐！大神啊！

托尼·霍尔爵士（Sir Charles Antony Richard Hoare）生于 1934 年 1 月 11 日），是一位英国计算机科学家，对编程语言、算法、操作系统、形式验证和并发计算做出了基础性贡献。

霍尔在 1959-1960 年开发了排序算法快速排序。然后开发了霍尔逻辑，这是验证程序正确性的公理基础。在并发语义中，他引入了形式语言通信顺序过程（CSP）来指定并发过程的交互，并与 Edsger Dijkstra 一起提出了哲学家就餐问题。

他还因空指针的开发（以及后来的自我批评）而受到赞誉，并将其引入了 ALGOL 系列语言中。

自 1977 年以来，他一直在牛津大学和剑桥微软研究院任职。

他于 1980 年获得图灵奖。

其图灵奖颁奖词为“表彰他对编程语言的定义和设计的基本贡献。”。（For his fundamental contributions to the definition and design of programming languages.）

生平

托尼·霍尔 1934 年出生于锡兰科伦坡（现斯里兰卡），父母是英国人。

霍尔在英国本土接受教育。先是在英国牛津的 Dragon School 和坎特伯雷的 King’s School，而后在牛津的默顿学院（Merton College）学习古典学和哲学（“Greats”）。

1956 年毕业后，他在皇家海军服役了 18 个月，在那里他学习了俄语。

1958 年，他回到牛津大学，攻读统计学研究生（postgraduate）。正是在这里，他开始了计算机编程，由莱斯利·福克斯 (Leslie Fox) 在 Ferranti Mercury 上教学自动编码。然后，他作为英国文化协会交换生前往莫斯科国立大学，在那里，他在安德烈·科尔莫戈洛夫 (Andrey Kolmogorov) 的指导下学习机器翻译。

1960 年，霍尔离开苏联，开始在 Elliott Brothers 公司工作，这是一家位于伦敦的小型计算机制造公司。在那里，他实现了 ALGOL 60 语言并开始开发主要算法。

作为国际信息处理联合会 (IFIP) 算法语言和微积分工作组 2.1 的成员，他参与了编程和信息学方面的国际标准的制定。该工作组指定、维护和支持 ALGOL 60 和 ALGOL 68 语言。

1968 年，他成为贝尔法斯特女王大学计算机科学教授，并于 1977 年 Christopher Strachey 去世后，作为计算机教授返回牛津大学，领导牛津大学计算机实验室（现为牛津大学计算机科学系）的编程研究小组。他现在是该校的名誉教授，也是英国剑桥微软研究院的首席研究员。

在 2009 年的一次软件会议上，霍尔为发明空引用而道歉。

贡献

• Quicksort
• Quickselect
• Hoare 逻辑
• Structured Programming
• 形式语言通信顺序过程（CSP）

~~

都看到这儿了，不如关注每日推送的“科文路”、互动起来~

至少点个赞再走吧~

觉得还不错？可以在公众号菜单栏找到“赞赏”入口~