万维百科

东尼·霍尔本文重定向自 Tony Hoare

(重定向自C. A. R. Hoare)
东尼·霍尔
(Tony Hoare)
Sir Tony Hoare IMG 5125.jpg
2011年6月20日,查尔斯·安东尼·理查德·霍尔爵士在EPFL发表演说
出生查尔斯·安东尼·理查德·霍尔
(Charles Antony Richard Hoare)

(1934-01-11) 1934年1月11日(87岁)
斯里兰卡可伦坡
居住地剑桥
母校牛津大学
莫斯科国立大学
知名于快速排序
霍尔逻辑
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英语Leslie Fox学习Autocode英语Autocode。为了进一步学习俄语,他以英国文化协会的交换学生身份,至苏联莫斯科国立大学留学,跟随安德雷·柯尔莫哥洛夫学习数学,并研究机器翻译

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.

外部链接


本页面最后更新于2021-09-08 20:44,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器