Tony Hoare

Tony Hoare,在全查尔斯爵士安东尼理查德·霍尔(生于1934年1月11日,科伦坡、斯里兰卡)、英国计算机科学家和1980年点图灵奖,最高的荣誉计算机科学“他的基本贡献的定义和设计编程语言。”

1956年霍尔赢得了学士学位经典的牛津大学。毕业后,他研究了俄罗斯在他的国家服务皇家海军(1956 - 58)然后拍了一些研究生课程统计数据和计算机编程在牛津大学。霍尔在1959年搬到俄罗斯研究生工作概率论人类语言和计算机翻译莫斯科国立大学。当时,霍尔快速排序,一台电脑算法有效地查找信息在计算机表。

霍尔回到英格兰有限公司,1960年加入艾略特兄弟电脑制造商,他工作在编程语言中,特别是发展编译器一个版本的大陵五。霍尔在1968年接受了教授在贝尔法斯特女王大学的计算机科学。他回到1977年牛津大学的计算机科学教授。从1999年的牛津大学退休后,霍尔成为微软研究院高级研究员,一个部门的微软公司,在剑桥,英格兰。

除了大量的论文,包括霍尔发表的作品通信顺序进程(1985);数学和编程语言逻辑与约翰·c·谢泼德(1985);论文在计算科学与克利福德b·琼斯(1989);和并发的发展和沟通(1991)。除了图灵奖,霍尔收到法拉第奖章(1985),《京都议定书》奖(2000),和电气和电子工程师学会的约翰·冯·诺依曼金牌(2011)。他被封为爵士伊丽莎白二世在2000年他对计算机科学的贡献。