东尼·霍尔
查尔斯·安东尼·理查德·霍尔爵士（英语：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）.
