東尼·霍爾

東尼·霍爾 Tony Hoare
2011年6月20日，查爾斯·安東尼·理察·霍爾爵士在EPFL發表演說
出生	查爾斯·安東尼·理察·霍爾 （Charles Antony Richard Hoare） (1934-01-11) 1934年1月11日 英屬錫蘭可倫坡
居住地	劍橋
母校	牛津大學 莫斯科國立大學
知名於	快速排序 霍爾邏輯 CSP
獎項	圖靈獎
科學生涯
研究領域	電腦科學
機構	艾略特兄弟公司 貝爾法斯特女王大學 牛津大學 莫斯科國立大學 微軟研究院
博士生	Stephen Brookes Cliff Jones David Naumann 比爾·羅斯科 William Stewart

查爾斯·安東尼·理察·霍爾爵士（英語：Sir Charles Antony Richard Hoare，縮寫為C. A. R. Hoare，1934年1月11日—），暱稱為東尼·霍爾（英語：Tony Hoare，一譯托尼·霍爾），生於大英帝國錫蘭可倫坡（今斯里蘭卡），英國計算機科學家，圖靈獎得主。他設計了快速排序演算法、霍爾邏輯、通信順序進程。

生平

東尼·霍爾的父親是一位公務員，服務於英屬錫蘭。其母親是茶園主人的女兒。

東尼·霍爾在可倫坡出生，在英國本土受教育。1956年，在牛津大學墨頓學院取得西洋古典學學士學位。在大學畢業後，進入英國皇家海軍服兵役18個月，在此學會俄語。1958年退伍後，回到牛津大學，研讀統計學，取得學士後學位。在此期間，開始學習程式設計，他跟著Leslie Fox學習Autocode。為了進一步學習俄語，他以英國文化協會的交換學生身份，至蘇聯莫斯科國立大學留學，跟隨安德雷·柯爾莫哥洛夫學習數學，並研究機器翻譯。

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

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

學術貢獻

他開發了幾個著名的演算法，包括Quicksort與Quickselect。

在作業系統中，他提出哲學家就餐問題，並發明用來作為同步程序的監視器（Monitors）以解決這個問題。他同時證明了監視器與信號標（Semaphore）在邏輯上是等價的。

榮譽

1980年，獲頒圖靈獎。

1982年，成為英國皇家學會院士。

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

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

著作

• O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare. Structured Programming. Academic Press. 1972. ISBN 0-12-200550-3. OCLC 23937947. 
• C. A. R. Hoare (1985). Communicating Sequential Processes. Prentice Hall International Series in Computer Science. ISBN 978-0131532717 (hardback) or ISBN 978-0131532892 (paperback). (Available online at http://www.usingcsp.com/ （頁面存檔備份，存於網際網路檔案館） in PDF format.)
• C. A. R. Hoare and M. J. C. Gordon. Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science. 1992. ISBN 0-13-572405-8. OCLC 25712842. 
• C. A. R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice Hall International Series in Computer Science. 1998. ISBN 0-13-458761-8. OCLC 38199961. 

外部連結

• Tony Hoare - Microsoft Research （頁面存檔備份，存於網際網路檔案館）（英文）