東尼·霍爾
查爾斯·安東尼·理查德·霍爾爵士（英語：Sir Charles Antony Richard Hoare，縮寫為C. A. R. Hoare，1934年1月11日—），暱稱為東尼·霍爾（英語：Tony Hoare，一譯托尼·霍爾），生於大英帝國錫蘭可倫坡（今斯里蘭卡），英國計算機科學家，圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、通信顺序进程。
| 東尼·霍爾 Tony Hoare | |
|---|---|
 2011年6月20日，查爾斯·安東尼·理查德·霍爾爵士在EPFL發表演說 | |
| 出生 | 查爾斯·安東尼·理查德·霍爾 （Charles Antony Richard Hoare） 1934年1月11日  英屬錫蘭可倫坡 |
| 居住地 | 劍橋 |
| 母校 | 牛津大學 莫斯科国立大学 |
| 知名于 | 快速排序 霍尔逻辑 CSP |
| 奖项 | 圖靈獎 |
| 科学生涯 | |
| 研究领域 | 電腦科學 |
| 机构 | 艾略特兄弟公司 贝尔法斯特女王大学 牛津大學 莫斯科国立大学 微軟研究院 |
| 博士生 | Stephen Brookes Cliff Jones David Naumann 比尔·罗斯科 William Stewart |
生平
编辑東尼·霍爾的父親是一位公務員，服務於英屬錫蘭。其母親是茶園主人的女兒。
東尼·霍爾在可倫坡出生，在英國本土受教育。1956年，在牛津大學墨頓學院取得西洋古典學學士學位。[1]在大學畢業後，進入英國皇家海軍服兵役18個月，[1]在此學會俄語。[2]1958年退伍後，回到牛津大學，研讀統計學，取得學士後學位。[1]在此期間，開始學習程式設計，他跟著Leslie Fox學習Autocode。為了進一步學習俄語，他以英國文化協會的交換學生身份，至蘇聯莫斯科國立大學留學，[1]跟隨安德雷·柯爾莫哥洛夫學習數學，並研究機器翻譯。[2]
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.
参考文献
编辑- ^ 1.0 1.1 1.2 1.3 Levens, R.G.C. (编). Merton College Register 1900-1964. Oxford: Basil Blackwell. 1964: 434.
- ^ 2.0 2.1 Tony Hoare. My Early Days at Elliotts. Resurrection (Computer Conservation Society). Autumn 2009, (48) [27 May 2014]. ISSN 0958-7403. （原始内容存档于2021-03-06）.