东尼·霍尔

✍ dations ◷ 2025-09-30 13:44:35 #东尼·霍尔
查尔斯·安东尼·理查德·霍尔爵士(英语:Sir Charles Antony Richard Hoare,缩写为C. A. R. Hoare,1934年1月11日-),昵称为东尼·霍尔(英语:Tony Hoare,一译托尼·霍尔),生于大英帝国锡兰可伦坡(今斯里兰卡),英国计算机科学家,图灵奖得主。他设计了快速排序算法、霍尔逻辑、交谈循序程式。东尼·霍尔的父亲是一位公务员,服务于英属锡兰。其母亲是茶园主人的女儿。东尼·霍尔在可伦坡出生,在英国本土受教育。1956年,在牛津大学墨顿学院取得西洋古典学学士学位。在大学毕业后,进入英国皇家海军服兵役18个月,在此学会俄语。1958年退伍后,回到牛津大学,研读统计学,取得学士后学位。在此期间,开始学习程式设计,他跟着Leslie Fox(英语:Leslie Fox)学习Autocode(英语:Autocode)。为了进一步学习俄语,他以英国文化协会的交换学生身份,至苏联莫斯科国立大学留学,跟随安德雷·柯尔莫哥洛夫学习数学,并研究机器翻译。1960年,在莫斯科国立大学取得博士学位后,任职于伦敦艾略特兄弟公司(Elliott Brothers Ltd),开发出第一个商用的ALGOL 60编译器,很快就成为公司的首席工程师。1968年,成为贝尔法斯特女王大学的教授。1977年回到牛津大学担任教授。现为牛津大学荣誉教授,并在剑桥微软研究院担任研究员。他开发了几个著名的算法,包括Quicksort与Quickselect。在操作系统中,他提出哲学家就餐问题,并发明用来作为同步程序的监视器(Monitors)以解决这个问题。他同时证明了监视器与信号标(Semaphore)在逻辑上是等价的。1980年,获颁图灵奖。1982年,成为英国皇家学会院士。2000年,因为他在计算机科学与教育方面的杰出贡献,获得英国王室颁赠爵士头衔。2011年,获颁约翰·冯诺依曼奖。

相关

  • 消毒消毒(Disinfection)是利用化学品或其他方法消灭大部分微生物,使常见的致病细菌数目减少到安全的水平。然而,与杀菌(Sterilization)相比,部分细菌孢子、滤过性病毒、结核杆菌及真菌
  • 获得性免疫缺陷(英语:immunodeficiency)是指免疫系统抵抗传染病的能力失常或欠缺。免疫缺陷还可能降低肿瘤免疫监视功能。免疫缺陷多为继发性(secondary)免疫缺陷,不过也有些人生来就有
  • 毒性休克症候群毒性休克症候群(Toxic shock syndrome,TSS)是一种因细菌外毒素引起的症候群。相关症状包含发烧、红疹、皮肤脱落(英语:skin peeling),及低血压等等。其它与特定病原菌相关的症状包
  • 亚伊采坐标:44°20′24.91″N 17°15′26.04″E / 44.3402528°N 17.2572333°E / 44.3402528; 17.2572333亚伊采(波斯尼亚语:Jajce、克罗地亚语:Jajce、塞尔维亚语:Јајце)是波斯尼
  • 土力土力工程学,又名岩土工程学、大地工程学,主要研究泥土构成物质的工程特性。土力工程师会研究从工地采集的泥土样本和岩石样本中的数据,然后计算工地上的建筑所需的格构。地基、
  • 亨利·莫塞莱亨利·格温·杰弗里·莫塞莱(英语:Henry Gwyn Jeffreys Moseley,1887年11月23日-1915年8月),英国物理学家和化学家。莫塞莱对物理学和化学做出的最重大的贡献就是打破先前物理学理
  • Ga镓(原子量:69.723(1))共有34个同位素,其中有2个是稳定的。备注:画上#号的数据代表没有经过实验的证明,只是理论推测而已,而用括号括起来的代表数据不确定性。
  • 波士顿棕熊波士顿棕熊(Boston Bruins)是位于美国波士顿的国家冰球联盟队伍,隶属于东部联盟大西洋分区。波士顿棕熊队成立于1924年,是国家冰球联盟原初六队之一。2016年1月23日,奥瑞金宣布与
  • span style=color:black;石勒苏益格-荷尔斯泰因/span石勒苏益格-荷尔斯泰因(德语:Schleswig-Holstein;丹麦语:Slesvig-Holsten;低地德语:Sleswig-Holsteen;北弗里斯兰语:Slaswik-Holstiinj)是德国16个州中最北面的一个州。这个州是在第
  • 爱尔兰移民爱尔兰人,狭义上指爱尔兰共和国的公民,广义上来讲是自古居住在爱尔兰岛上的人们。广义的爱尔兰人属于凯尔特(Celtic)人种。爱尔兰岛分为两部分,南部是爱尔兰共和国,北部是北爱尔