東尼·霍爾

维基百科,自由的百科全书
跳转至: 导航搜索
查爾斯·安東尼·理查德·霍爾
(Charles Antony Richard Hoare)
Sir Tony Hoare IMG 5125.jpg
2011年6月20日,查爾斯·安東尼·理查德·霍爾爵士在EPFL發表演說
出生 1934年1月11日 (1934-01-11)(80歲)
斯里蘭卡可倫坡
居住地 劍橋
研究領域 計算機科學
任职於 艾略特兄弟公司
贝尔法斯特女王大学
牛津大學
莫斯科国立大学
微軟研究院
母校 牛津大學
莫斯科国立大学
博士學生 Stephen Brookes
Cliff Jones
David Naumann
Bill Roscoe
William Stewart
著名成就 快速排序
霍尔逻辑
CSP
獲獎 圖靈獎

查爾斯·安東尼·理查德·霍爾爵士英语Charles Antony Richard Hoare,縮寫為 C. A. R. Hoare,1934年1月11日),常被暱稱為東尼·霍爾(一譯托尼·霍爾英语Tony Hoare),生於斯里蘭卡可倫坡,英國計算機科學家圖靈獎得主。他設計了快速排序演算法霍尔逻辑交談循序程式

生平[编辑]

1956年,在牛津大學墨頓學院取得西洋古典學學士學位。他留校一年進行研究,1956年至1958年間,在英國皇家海軍服役。他為了學習俄語,至蘇聯莫斯科國立大學留學,跟隨安德雷·柯爾莫哥洛夫學習數學,並研究機器翻譯

1960年,在莫斯科國立大學取得博士學位後,任職於倫敦艾略特兄弟公司(Elliott Brothers Ltd),開發出第一個商用的ALGOL 60編譯器,很快就成為公司的首席工程師。

1968年,成為貝爾法斯特女王大學的教授。1977年回到牛津大學擔任教授。現為牛津大學榮譽教授,並在劍橋微軟研究院擔任研究員。

榮譽[编辑]

1980年,獲頒圖靈獎

1982年,成為英國皇家学会院士。

2000年,因為他在計算機科學與教育方面的傑出貢獻,獲得英國王室頒贈爵士頭銜。

2011年,獲頒約翰·馮諾依曼獎

著作[编辑]

参考文献[编辑]

外部連結[编辑]