Tony Hoare

Charles Antony Richard Hoare 爵士（/hɔːr/HOR；生于 1934 年 1 月 11 日），也称为 C. A. R. Hoare，是一位英国计算机科学家，在编程语言、算法、操作系统、形式验证和并发计算方面做出了基础性贡献。 [3] 他的工作为他赢得了 1980 年 ACM 图灵奖，该奖通常被认为是计算机科学领域的最高荣誉。 Hoare 在 1959 年至 1960 年开发了排序算法快速排序。 [4] 他开发了霍尔逻辑，这是验证程序正确性的公理基础。 [5] 在并发语义中，他引入了形式语言通信顺序过程（CSP）来指定并发过程的交互，并与 Edsger Dijkstra 一起制定了哲学家就餐问题。 [6][7][8][9][10][11]自1977年以来，他一直在牛津大学和剑桥微软研究院任职。托尼·霍尔出生于锡兰科伦坡（现斯里兰卡），父母为英国人。他的父亲是殖民地公务员，母亲是茶园主的女儿。霍尔在英国牛津的龙学校和坎特伯雷的国王学校接受教育。 [12] 随后，他在牛津大学默顿学院学习古典学和哲学（“伟人”）。 [ 13 ] 1956 年毕业后，他在皇家海军服役了 18 个月，[ 13 ] 在那里他学习了俄语。 [14] 1958 年，他回到牛津大学攻读统计学研究生证书，[13] 正是在这里，他开始了计算机编程，并在 Ferranti Mercury 上由 Leslie Fox 教授 Autocode。 [15] 随后，他作为英国文化协会交换生前往莫斯科国立大学，[13] 在那里，他在安德烈·科尔莫戈洛夫 (Andrey Kolmogorov) 的指导下学习机器翻译。 [ 14 ] 领域：计算机科学 教育：默顿学院、牛津大学 BA PgDip 莫斯科国立大学 获奖者：图灵奖 (1980) Harry H. Goode 纪念奖 (1981) 法拉第奖 (1985) 计算机先锋奖 (1990) 京都奖 (2000) IEEE 约翰·​​冯·诺依曼奖 (2011) 皇家奖章 (2023)