查爾斯·安東尼·理查德·霍爾爵士(英語:Sir Charles Antony Richard Hoare,縮寫為 C. A. R. Hoare,1934年1月11日-),經常被暱稱為東尼·霍爾(一譯托尼·霍爾,英語:Tony Hoare),生於斯里蘭卡可倫坡,英國計算機科學家,圖靈獎得主。他設計出了快速排序算法、霍爾邏輯、交談循序程式。[1]
東尼·霍爾 | |
---|---|
出生 | 1934年1月11日 |
國籍 | 英國 |
別名 | Tony Hoare |
職業 | 計算機科學家 |
知名作品 | 快速排序 |
目錄
個人簡歷
1956年,在牛津大學墨頓學院取得西洋古典學學士學位。他留校一年進行研究,1956年至1958年間,在英國皇家海軍服役。他為了學習俄語,至蘇聯莫斯科國立大學留學,跟隨安德雷·柯爾莫哥洛夫,並研究機器翻譯。
1960年,在莫斯科國立大學取得博士學位後,任職於倫敦艾略特兄弟公司(Elliott Brothers Ltd),開發出第一個商用的ALGOL 60編譯器,很快就成為公司的首席工程師。
1968年,成為貝爾法斯特女王大學的教授。1977年回到牛津大學擔任教授,並在劍橋微軟研究院擔任研究員。
榮譽
1980年,獲頒圖靈獎。
1982年,成為英國皇家學會院士。
2000年,因為他在計算機科學與教育方面的傑出貢獻,獲得英國王室頒贈爵士頭銜。
2011年,獲頒約翰·馮諾依曼獎。