东尼·霍尔

维基百科,自由的百科全书
跳到导航 跳到搜索
东尼·霍尔
(Tony Hoare)
Sir Tony Hoare IMG 5125.jpg
2011年6月20日,查尔斯·安东尼·理查德·霍尔爵士在EPFL发表演说
出生 查尔斯·安东尼·理查德·霍尔
(Charles Antony Richard Hoare)

(1934-01-11) 1934年1月11日85岁)
斯里兰卡可伦坡
居住地 剑桥
母校 牛津大学
莫斯科国立大学
知名于 快速排序
霍尔逻辑
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. 

外部链接[编辑]