东尼·霍尔

东尼·霍尔 Tony Hoare
2011年6月20日，查尔斯·安东尼·理查德·霍尔爵士在EPFL发表演说
出生	查尔斯·安东尼·理查德·霍尔 （Charles Antony Richard Hoare） (1934-01-11) 1934年1月11日 英属锡兰可伦坡
居住地	剑桥
母校	牛津大学 莫斯科国立大学
知名于	快速排序 霍尔逻辑 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学习Autocode。为了进一步学习俄语，他以英国文化协会的交换学生身份，至苏联莫斯科国立大学留学，跟随安德雷·柯尔莫哥洛夫学习数学，并研究机器翻译。

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. 

外部链接

• Tony Hoare - Microsoft Research （页面存档备份，存于互联网档案馆）（英文）