东尼·霍尔

✍ dations ◷ 2025-07-19 02:48:49 #东尼·霍尔

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

相关

白介素-1结构 / ECOD介白素-1包括11种细胞因子，在机体控制免疫和炎症反应中具有重要作用。这些细胞因子的发现始于1943年至1948年间，Menkin和Beeson对兔子腹腔细胞释放的致热原蛋白质
酶抑制剂酶抑制剂（英语：Enzyme inhibitor）是一类可以与酶结合并降低其活性的分子。由于阻断酶的活性可以杀死病原体或纠正代谢失衡，许多药物都是酶抑制剂。它们也用于杀虫剂。并非所
吉隆玻坐标：3°8′N 101°41′E / 3.133°N 101.683°E / 3.133; 101.683吉隆坡（英语和马来语：Kuala Lumpur，简称“KL”，全称“吉隆坡联邦直辖区”）是马来西亚的首都兼最大城市，一座对东
阿龙·贝克亚伦·特姆金·贝克（英语：Aaron Temkin Beck，1921年7月18日－），美国精神病医生，同时也是宾夕法尼亚大学精神病学的名誉教授。他是认知疗法之父，他开创性的理论被广泛应用于临床治疗抑
土壤盐化土壤盐化（英语：soil salinization，又称土壤盐碱化）是常发生于气候炎热、干燥，实施灌溉却排水不良之沙漠及沿海地区等农牧业地区的现象。盐害会危害建筑物、公共设施以及出土遗迹
苏联国家安全委员会国家安全委员会（俄语：Комите́т госуда́рственной безопа́сности，听帮助·信息，俄文罗马化：Komitet gosudarstvennoy bezopasnosti），通称
金融业金融（英语：Finance）是“资金的融通”的缩略语。金，指的是黄金；融，最早指融化变成液体，也有融通的意思。所以，金融就是将黄金融化分开交易流通，即价洽通达，是指在经济生活中，银行、证券
范德瓦耳斯力范德华力（范德华力）（Van der Waals force）在化学中指分子之间非定向的、无饱和性的、较弱的相互作用力，根据荷兰物理学家约翰内斯·范德瓦耳斯命名。范德华力是一种电性引力，但它
德国之翼航空9525号班机空难德国之翼航空9525号航班（德语：Germanwings-Flug 9525，航班编号：4U9525），2015年3月24日由西班牙巴塞罗那飞往德国杜塞尔多夫，途经法国南部上普罗旺斯阿尔卑斯省上空时失事，于法国境内
马丁·福勒马丁·福勒（英语：Martin Fowler，1963年－），生于英国英格兰沃尔索尔，软件工程师，也是一个软件开发方面的著作者和国际知名演说家，专注于面向对象分析与设计，统一建模语言，领域建模，以及敏