计算机领域的爵士——C. A. R. Hoare

中文名：托尼。霍尔

外文名：C. A. R. Hoare

别名：Tony Hoare

国籍：英国

出生地：英国

出生日期：1934年1月11日

职业：计算机科学家

主要成就：快速排序Hoare逻辑CSP

计算机领域的爵士——C. A. R. Hoare，1934年出生于英国，1959年博士毕业于俄罗斯莫斯科国立大学，获得语言机器翻译专业学士学位。1960年发布了使他闻名于世的快速排序算法（Quick Sort），这个算法也是当前世界上使用最广泛的算法之一。Tony Hoare在取得博士学位后，就职于Elliott Brothers，领导了Algol 60第一个商用编译器的设计与开发，由于其出色的成绩，最终成为该公司首席科学家。他于1969年发表了论文"计算机程序的公理基础"提出了名为Hoare逻辑的形式系统理论。这个系统的用途是为了使用严格的数理逻辑推理计算机程序的正确性提供一组逻辑规则。他还设计了形式化语言CSP（Communicating Sequential Processes）用以描述并发进程相互作用。从1977年开始，Tony Hoare博士任职于牛津大学，投身于计算系统的精确性的研究、设计及开发。因其对Algol60程序设计语言理论、互动式系统及APL的贡献，1980年被美国计算机协会授予“图灵奖”。 1999年在牛津大学退学后，TonyHoare博士被微软剑桥研究院聘请担任高级程序员，从事微软剑桥研究院研究生成果的工业化应用的工作，以及协助其它研究人员进行服务于软件产业及用户的长期基础研究项目。2000年因为其在计算机科学与教育上做出的贡献被封为爵士。

奖项

ACM Turing Award for "fundamental contributions to the definition and design of programming languages". 1980

Harry H. Goode Memorial Award (1981)

Fellow of the Royal Society (1982)

Honorary Doctorate of Science by the Queen's University Belfast (1987)

Knighted for services to education and computer science (2000)

Kyoto Prize for Information science (2000)

Fellow of the Royal Academy of Engineering (2005)

Computer History Museum (CHM) in Mountain View, California Fellow of the Museum "for development of the Quicksort algorithm and for lifelong contributions to the theory of programming languages" (2006)

Honorary Doctorate of Science from the Department of Informatics of the Athens University of Economics and Business (AUEB) (2007)

IEEE John von Neumann Medal (2011)