東尼·霍爾

查爾斯·安東尼·理查德·霍爾爵士（，縮寫為C. A. R. Hoare，），暱稱為東尼·霍爾（，一譯托尼·霍爾），生於大英帝國錫蘭可倫坡（今斯里蘭卡），英國計算機科學家，圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、通信顺序进程。

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

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

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

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

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

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

 榮譽 
1980年，獲頒圖靈獎。

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

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

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

 著作 

 C. A. R. Hoare (1985). Communicating Sequential Processes. Prentice Hall International Series in Computer Science.  (hardback) or  (paperback). (Available online at http://www.usingcsp.com/  in PDF format.)



 参考文献 

 外部連結 

 Tony Hoare - Microsoft Research 

Category:莫斯科國立大學校友
Category:牛津大学墨顿学院校友
Category:英国计算机科学家
Category:皇家學會院士
Category:微软雇员
Category:程式語言設計者
Category:軟體工程
Category:圖靈獎獲得者
Category:龙校校友
Category:皇家工程院院士
Category:下級勳位爵士
Category:IEEE约翰·冯·诺依曼奖获得者
Category:京都奖获得者
Category:在蘇聯的英國人
Category:贝尔法斯特女王大学教师
Category:牛津大學計算機系教師