东尼·霍尔

✍ dations ◷ 2025-08-09 06:02:10 #东尼·霍尔

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

相关

贝赛特氏症贝赛特氏症（Behçet / Behçet's disease），或称贝歇氏病 (Behçet's syndrome)、白赛病 (Morbus Behçet)、贝赛特氏症候群 (Behçet-Adamantiades syndrome)，或贝赛特氏综合症，
升糖指数升糖指数（Glycemic index，简称GI），又译糖生成指数，用于衡量糖类对血糖量的影响。在消化过程中迅速分解并且将葡萄糖迅速释放到循环系统的糖类具有高升糖指数。反之，在消化过程中缓
施莱县施莱县（Schley County, Georgia）是美国乔治亚州西部的一个县。面积435平方公里。根据美国2000年人口普查，共有人口3,766人。县治艾拉维 (Ellaville)。成立于1857年12月22日。县
三阴性乳腺癌三阴性乳癌（英语：Triple-negative breast cancer，缩写为TNBC），也称三阴性乳腺癌，是指缺乏雌激素受体（英语：Estrogen receptor）（ESr或Er）、孕酮受体（Pr）表达与缺乏表皮生长因子受体-2基因（H
祺楔形文字“KI”（U+121A0
父爱母爱和父爱是母亲、父亲对子女的关心和爱护，例如把儿子和女儿由婴儿期、儿童、青少年，直至成年，供书教学，关怀照顾等。母爱是这个世界上最温柔的力量，它为你保驾护航。母爱常被描
吴丹丹，通称吴丹（缅甸语：ဦးသန့်，1909年1月22日－1974年11月25日），是一名缅甸外交家，由1961年至1971年担任联合国第三任秘书长。吴丹出生于下缅甸的班达诺（英语：Pantanaw）。他是家中长
西斯拉夫民族西斯拉夫人，斯拉夫人的一支，主要在中欧平原地区活动，主要为波兰人、捷克人、斯洛伐克人、索布人等。东斯拉夫人主要信奉东正教，西斯拉夫人主要信奉天主教，而南斯拉夫人则大约各占
巴吉度猎犬巴吉度猎犬（法语：Basset hound）是一种短腿的犬种，属于猎犬家族。法国巴吉度猎犬以狩猎兔和野兔为目的。巴吉度猎犬嗅觉跟踪能力仅次于血
迈克尔·阿蒂亚迈克尔·弗朗西斯·阿蒂亚爵士，OM，FRS（英语：Sir Michael Francis Atiyah，1929年4月22日－2019年1月11日），英国黎巴嫩裔数学家，主要研究领域为几何，被誉为当代最伟大的数学家之一。阿蒂