東尼·霍爾

生平

东尼·霍尔的父亲是一位公务员，服务于英属锡兰。其母亲是茶园主人的女儿。
东尼·霍尔在可伦坡出生，在英国本土受教育。1956年，在牛津大学墨顿学院取得西洋古典学学士学位。在大学毕业后，进入英国皇家海军服兵役18个月，在此学会俄语。1958年退伍后，回到牛津大学，研读统计学，取得学士后学位。在此期间，开始学习程式设计，他跟着Leslie Fox学习Autocode。为了进一步学习俄语，他以英国文化协会的交换学生身份，至苏联莫斯科国立大学留学，跟随安德雷·柯尔莫哥洛夫学习数学，并研究机器翻译。
1960年，在莫斯科国立大学取得博士学位后，任职于伦敦艾略特兄弟公司（Elliott Brothers Ltd），开发出第一个商用的ALGOL 60编译器，很快就成为公司的首席工程师。
1968年，成为贝尔法斯特女王大学的教授。1977年回到牛津大学担任教授。现为牛津大学荣誉教授，并在剑桥微软研究院担任研究员。

学术贡献

他开发了几个著名的算法，包括Quicksort与Quickselect。
在操作系统中，他提出哲学家就餐问题，并发明用来作为同步程序的监视器（Monitors）以解决这个问题。他同时证明了监视器与信号标（Semaphore）在逻辑上是等价的。

荣誉

1980年，获颁图灵奖。
1982年，成为英国皇家学会院士。
2000年，因为他在计算机科学与教育方面的杰出贡献，获得英国王室颁赠爵士头衔。
2011年，获颁约翰·冯诺依曼奖。