東尼·霍爾檢視原始碼討論檢視歷史

東尼·霍爾
[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