東尼·霍爾

查爾斯·安東尼·理查德·霍爾 （Charles Antony Richard Hoare）
2011年6月20日，查爾斯·安東尼·理查德·霍爾爵士在EPFL發表演說
出生	(1934-01-11) 1934年1月11日 斯里蘭卡可倫坡
居住地	劍橋
母校	牛津大學 莫斯科国立大学
知名于	快速排序 霍尔逻辑 CSP
奖项	圖靈獎
科学生涯
研究领域	計算機科學
机构	艾略特兄弟公司 贝尔法斯特女王大学 牛津大學 莫斯科国立大学 微軟研究院
博士生	Stephen Brookes Cliff Jones David Naumann Bill Roscoe William Stewart

查爾斯·安東尼·理查德·霍爾爵士（英語：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年，獲頒約翰·馮諾依曼獎。

外部連結

• （英文） Tony Hoare - Microsoft Research