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

东尼·霍尔
[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