东尼·霍尔

✍ dations ◷ 2025-04-04 06:48:27 #东尼·霍尔

查尔斯·安东尼·理查德·霍尔爵士（英语：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年，获颁约翰·冯诺依曼奖。

相关

免疫学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学免疫学（英语：Immunology）是生物医学的一
雪儿雪儿（英语：Cher，1946年5月20日－），是一位美国女歌手和演员。她在音乐、电视剧和电影界成就包括了一座奥斯卡金像奖、一座葛莱梅奖、一座艾美奖和三座金球奖等。她早期与她搭档及丈
菊科详见内文菊科（学名：Asteraceae）是双子叶植物纲菊目的一个科。菊科是双子叶植物中最大的一个科，现在已有至少13个亚科、1119属和32,913种。菊科植物广泛分布在全世界，但热带地区较
杂交杂交种（英语：hybrid）又称杂种或混种，是指从两种不同的生物杂交产生的后代。依双亲的生殖隔离程度，杂交后代可能无法存活、可存活但无法生殖、可存活并生殖但适应力较低、或是完全
喀拉海喀拉海（俄语：Карское море，英语：Kara Sea）位于俄罗斯西伯利亚以北，是北冰洋的一部分。在西边，新地岛和喀拉海峡将喀拉海与巴伦支海隔开，在东边，北地群岛又将喀拉海与拉普
美属菲律宾美属菲律宾为美国统治菲律宾时期（1898年-1935年）的国号，在此期间菲律宾为美国非自治领土。1935年菲律宾获得自治，成立菲律宾自治领并且颁布自治邦宪法，实施十年的自治期后将获得
巴黎沙滩巴黎海滩（法语：Paris-Plages）是巴黎在每年夏季都会举办的活动。在每年的7月和8月，巴黎都会将塞纳河岸的部分地区铺上沙子形成人工沙滩。巴黎海滩的计划开始于2002年，最初的目的为
诉诸后果诉诸后果（英语：appeal to consequences；拉丁语：argumentum ad consequentiam）是一种非形式谬误，主张由于某结果是好的，因此它是对的；或某结果是坏的，因此是这件事是错的。此与一厢情
服务器服务器（英语：server）指：服务器通常以网络作为介质，既可以通过局域网对内提供服务，也可以通过广域网对外提供服务。服务器的最大特点就是其强大的运算能力，即使是一部简单的服务器系
国立台湾科学教育馆坐标：25°5′45″N 121°30′57″E / 25.09583°N 121.51583°E / 25.09583; 121.51583国立台湾科学教育馆，简称科教馆，位于台北市士林区的台北科学艺术园区内，是一个以教育、展