托尼·霍尔

计算机领域的爵士--托尼·来自霍尔(Tony Hoare)(1934年1月举非标抗后九底浓张11日出生)，英文全360百科称Sir Charles Antony Richard Hoare，常被称为Tony Hoare或者C. A. R. 程齐之乙新又Hoare，1959年博士毕业于俄罗斯莫斯科国立开到陈谁代完培进大学，获得语言机器翻译专业学士学位。

• 中文名称 托尼·霍尔
• 外文名称 Tony Hoare
• 别名 C.A.R.Hoare
• 国籍 英国
• 出生日期 1934年1月11日

人物简介

　　1960年发布了使他闻名于世的快差督决功速排序算法(Quick Sort)，这个算法也是当前世界上使用最广泛的算法之一。Tony Hoare在取得博士学位后，就职于Elliott Brothers，领导了Algol 60第一个商用编译器的设计与开发，由于其出色的成绩，最终成为该公司首席科学家。

　　从1977年开始，Tony Hoare博士任职于牛津大学，投身于计算系统的精确性的研究、设计及开发。因其对Algol 60程序设计语言理论、互动式系统及APL的贡献，1980年被美国计算机协会授予"图灵奖"。1999年从牛津大学退休后，Tony Hoare博士被微软剑桥研究院聘请担任高级程序员，从事微软剑桥研究院研究生成果的工业化应用的工作，以及协助其它研究人员进行服务于软件产业及用户的长期基础研究项目。2000年Hoare因为其在计算机科学与教育上做出的贡献被封为爵士。

　　他的获奖记录包括次也各万判兴数治季击:于1980年获得美国计算机学会(ACM)设立的计算机界最高奖--图灵奖，华雷基2000年获得日本稻盛财团设立的国际大奖--京胞夫酒施律病钟章扩息神都奖(尖端技术领域)。同来自年，英国女王伊丽莎白二世授予Tony Hoare爵士爵位，以表彰他对计算机科学所做出的巨大贡献。

早期成果

　　1960年，育阶屋她霍尔进入Elliott兄360百科弟伦敦公司，成为一名到谁讨倒程序员。他接到的第一个任务，就是为Elliott 803计算机编写一个库程序，实现新发明微理样出来的Shell排序算法。在此过程中，霍尔对不断提升代码的实效率着了迷。他不仅识亮孙队早款很好地完成了任务，还发明了一种新算法，比Shell还快，而且不会多耗费太多空间。这就是后来闻名于世的期考课在罪龙京景话苏且快速排序算法Quicksort。值得一提的是，发明该算法时他只有26岁。

　　随后，霍尔又接到了新任务--在公司新机型Elliott 503上实现Algol 60语言。Elliott Algol的开发非常顺利，大获成功，霍尔本人也从此受到国际学术参都及界的重视。当然，对仅转曲边天讨燃感批他来说，另一件事情更为重要，他和项目中另一位当时比自己更专业的女程序员Jill Pym相识相权知，并最后结婚。

开创性成果

　　1968年他到北爱尔兰女王大学从事教学和研究，1977年转入牛津大学，目前还同时担任微软研究院的研究员。他全身心地投入到计算机科学理论的研究中，作出了许多创造性的重大贡献，尤来自其是程序设计理论和操作系统设360百科计等方面，目前许多广厚值泛流行与应用着的概念都源于霍尔的工作。

　　1969年10月，霍尔在Communications of the ACM上发表了有里程碑意义的论文"计算进局非问纸机程序设计的公理基础"。在这篇论文中，霍尔提出了公理语义学，这是继1963年用递归函数定义程序，以及在1967年基于程序流程图的归纳断言法以后，程序逻辑研究中所取得的又一个重大技术进展。

　　20世纪70年代后期，霍尔深入研究并实现了程序设计语言CSP例真办客做告对架字弦，后来成为著名的并行处理语言选县很再而司随眼跳脱Occam的基础。80年代中期模现频兵海纪架给继，霍尔和S. Brool甚液独收合守手川据s等人合作，提出了"CSP理论"，开创了均整用代数方法研究通信并发系统的先河，形成了"进程代数"这一新的研究领域。1995年他还和我国学者、中科院院士何积丰合作，提出了统一程序设计理论。

　　霍尔发表过许多高水平的论著。晚船兴般保围ACM在1983年评选出最依近25年中发表在Communicatio湖困最剂数供略ns of the ACM上的有里程碑式意义的25篇经典论文，只有2名学者各有2篇论文入选，霍尔就是其中之一。1972年他与O.J. Dahl和E. W. Dijkstra三位图灵奖得主合著的Structured Programming一书，更是难以逾越的高峰。

获奖经历

　　霍尔获奖对从无数，1980年获得美国计算机学会(ACM)设立的计算机界最高奖--图灵奖;1981不征水总均轮帮全采静年获得AFIPS的Harry Goode存完政解困降胶奖;1985年获得英国IEE的法拉第奖章;1990年被IEEE授予计算机先驱奖。2000年获得日本稻盛财团设升类知短旧立的国际大奖--京都奖(尖端技术领域)。

　　200从周还束印厂9年3月他在Qcon技术会议上发表了题为"Null引用:代价十亿美元的错误"的企数两演讲，回忆自己1965年设计第一个全面的类型系统时，英采现太电副省混未能抵御住诱惑，加入了Null引用，仅仅是因为实现起来非常容易。它后来成为句防阶们许多程序设计语言的标准特性，导致了数不清的错误、漏洞和系统崩溃，可能在之后40年中造成了十亿美元的损失。他在同月出版Communications of the ACM中表示，如何证明程序的正确性仍然是计算机科学中有待解决的重大课题。