东尼·霍尔查看源代码讨论查看历史

东尼·霍尔
[1][2]
出生	1934年1月11日
国籍	英国
别名	Tony Hoare
职业	计算机科学家
知名作品	快速排序

查尔斯·安东尼·理查德·霍尔爵士（英语：Sir Charles Antony Richard Hoare，缩写为 C. A. R. Hoare，1934年1月11日－），经常被昵称为东尼·霍尔（一译托尼·霍尔，英语：Tony Hoare），生于斯里兰卡可伦坡，英国计算机科学家，图灵奖得主。https://juejin.im/post/5de3c6b2e51d4532c21facac 掘金 - 26-快速排序（Quick Sort）

他设计出了快速排序算法 、霍尔逻辑、交谈循序程式。

个人简历

• 1956年，在牛津大学墨顿学院取得西洋古典学学士学位。他留校一年进行研究，1956年至1958年间，在英国皇家海军服役。他为了学习俄语，至苏联莫斯科国立大学留学，跟随安德雷·柯尔莫哥洛夫，并研究机器翻译。

• 1960年，在莫斯科国立大学取得博士学位后，任职于伦敦艾略特兄弟公司（Elliott Brothers Ltd），开发出第一个商用的ALGOL 60编译器，很快就成为公司的首席工程师。

• 1968年，成为贝尔法斯特女王大学的教授。1977年回到牛津大学担任教授，并在剑桥微软研究院担任研究员。

1977年，移居牛津大学，设计了任何程序员都可以遵循的逻辑规则系统（现称为“霍雷逻辑”），在此过程中将软件编写从一个有点神秘的学科转变为具有坚实基础的领域。计算机协会根据信息处理领域的成就授予一枚铜牌和2,000美元的奖金，这是一个杰出的贡献。

荣誉

• 1980年，获颁图灵奖。

• 1982年，成为英国皇家学会院士。

• 2000年，因为他在计算机科学与教育方面的杰出贡献，获得英国王室颁赠爵士头衔。

• 2011年，获颁约翰·冯诺依曼奖。

相关影片

Let's #TalkConcurrency with Sir Tony Hoare

Tony Hoare, 1980 ACM Turing Award Recipient

Null References: The Billion Dollar Mistake - Tony Hoare

"Axiomatic Basis for Computer Programming" written by C.A.R. Hoare and presented by Jean Yang