東尼·霍爾

東尼·霍爾
Tony Hoare
2011年6月20日,查爾斯·安東尼·理查德·霍爾爵士在EPFL發表演說
出生查爾斯·安東尼·理查德·霍爾
(Charles Antony Richard Hoare)

(1934-01-11) 1934年1月11日90歲)
 英屬錫蘭可倫坡
居住地劍橋
母校牛津大學
莫斯科国立大学
知名于快速排序
霍尔逻辑
CSP
奖项圖靈獎
科学生涯
研究领域電腦科學
机构艾略特兄弟公司
贝尔法斯特女王大学
牛津大學
莫斯科国立大学
微軟研究院
博士生Stephen Brookes
Cliff Jones
David Naumann
比尔·罗斯科
William Stewart

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

生平

[编辑]

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

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

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

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

學術贡獻

[编辑]

他開發了幾個著名的演算法,包括QuicksortQuickselect

在作業系統中,他提出哲学家就餐问题,並發明用來作為同步程序的監視器(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. ^ 1.0 1.1 1.2 1.3 Levens, R.G.C. (编). Merton College Register 1900-1964. Oxford: Basil Blackwell. 1964: 434. 
  2. ^ 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). 

外部連結

[编辑]