更新时间：2024-04-19 16:28
托尼·霍尔（Tony Hoare），1934年1月11日出生于斯里兰卡，1980年图灵奖得主，美国国家科学院外籍院士，美国国家工程院外籍院士，英国皇家工程院院士，英国皇家学会院士，英国爵士，牛津大学名誉教授，英国剑桥微软研究院高级研究员。
1934年1月11日，托尼·霍尔出生于斯里兰卡。
1953年—1956年，就读于牛津大学默顿学院，学习古典与哲学。
1956年，在牛津大学学习统计学研究生课程。
1957年—1958年，服役于英国皇家海军。
1958年—1960年，在莫斯科国立大学学习人类语言的计算机翻译研究生课程，师从安德烈·科尔莫戈罗夫。
1960年—1968年，在艾略特兄弟电脑公司工作。
1968年—1977年，担任贝尔法斯特女王大学计算机科学教授。
1977年，成为牛津大学教授。
1980年，获得图灵奖。
1982年，当选为英国皇家学会院士。
1999年，从牛津大学退休。
1999年—2015年，担任微软研究院高级首席研究员。
2005年，当选为英国皇家工程院院士。
2006年，当选为美国计算机历史博物馆fellow，同年当选为美国国家工程院外籍院士。
2015年—2021年，担任微软研究院名誉访问者。
2017年，当选为美国国家科学院外籍院士。
托尼·霍尔领导团队生产了ALGOL60编译器，在编程语言ALGOL60的课程中，他发现递归的概念是快速排序清晰表达的关键。托尼·霍尔的“计算机程序设计的公理基础”是程序设计理论中最有影响力的论文之一，他抛弃了流程图，并开发了一个逻辑系统，用于使用语句行为规范对程序进行推理，这种规范后来被称为霍尔三元组。托尼·霍尔提出了一种语言（CSP），其中程序之间的交互仅限于预先计划的通信，CSP激发了进一步研究，包括鼓励其在工业应用中使用的工具，还导致了Transputer机器架构的产生。
据2023年9月AMiner平台数据，托尼·霍尔已发表学术论文501篇，论文被引73995次，H-Index：67。
[1]C. A. R. Hoare.An Axiomatic Basis for Computer Programming （Reprint）[J].Communications of the ACM,2002.
[2]C. A. R. Hoare.Communicating sequential processes[J].Communications of the ACM,2002.
[3]Zhou Chaochen,C. A. R. Hoare,Anders P. Ravn.A calculus of durations[J].Information Processing Letters,1991.
[4]Stephen D. Brookes,C. A. R. Hoare,A. W. Roscoe.A Theory of Communicating Sequential Processes[J].Journal of the ACM,1984.
[5]C. A. R. Hoare.Proof of correctness of data representation[J].Advances in Computers,1975.
托尼·霍尔在贝尔法斯特女王大学和牛津大学创立了计算机科学的第一个本科和研究生学位课程，以及与数学系和工程系的许多联合学位，他还在牛津大学为在工业界工作的学生创办了一个软件工程兼职硕士课程。
托尼·霍尔是牛津大学编程研究小组创始人，他于1997年至1999年担任微软研究院顾问。
托尼·霍尔的妻子是他的研究伙伴——吉尔·皮姆（Jill Pym）。
他（托尼·霍尔）对编程语言的定义和设计做出了基础性贡献（For his fundamental contributions to the definition and design of programming languages）。（1980年图灵奖评）
（托尼·霍尔）在算法、操作系统和编程语言领域对计算机科学做出了基础贡献（For fundamental contributions to computer science in the areas of algorithms, operating systems, and programming languages）。（美国国家工程院评）
他（托尼·霍尔）对计算机科学做出了许多重要贡献（who made many important contributions to the computing sciences）。（佛罗里达州立大学评）