罗宾·米尔纳

✍ dations ◷ 2025-08-24 08:03:39 #罗宾·米尔纳

亚瑟·约翰·罗宾·葛瑞尔·米尔纳(英语:Arthur John Robin Gorell Milner,1934年1月13日-2010年3月20日),生于英国普利茅斯,计算机科学家。1991年获得图灵奖。他是英国皇家学会成员,ACM会士。

出生于一个军人家庭,早年就读于伊顿公学。后加入英国皇家工程兵部队,获得少尉军衔。1952年入读剑桥大学国王学院,1957年毕业,之后的第一个工作是教师,然后在Ferranti公司当程序员。此后他进入学术界,先后在伦敦城市大学,斯旺西大学,斯坦福大学任职。1973年回到英国爱丁堡大学,在爱丁堡大学任职期间,他开发了函数式编程语言,ML,并和他的同事一起完成了LCF的开发。在离开爱丁堡前,罗宾·米尔纳向现在的爱丁堡大学信息学院提供了一笔捐款并成立了每年一次在爱丁堡大学信息学院举行的以他名字命名的罗宾·米尔纳演讲,被邀请的演讲者都是对理论计算机科学有重大贡献的学者。1995年,罗宾·米尔纳回到母校剑桥大学任教,并担任剑桥大学计算机实验室主任。2009年起,米尔纳回归爱丁堡大学担任计算机科学主席。

2010 年3月20日卒于英国剑桥。

在计算机科学里,米尔纳主要有三大贡献。他开发了其中一个最早的自动定理证明工具——LCF。

他另一项主要工作是并发理论(concurrency theory),他提出了许多被广泛研究的并发计算模型:通信系统演算(英语:Calculus of communicating systems)(CCS)、pi演算。

相关

  • 野兔兔,又称兔子,在汉语中是哺乳类兔形目兔科(学名:Leporidae)物种的总称。正在吃牧草的兔子一只野兔一个宠物兔一只睡觉的家兔一个好奇的棉尾兔两个兔子兔子剪影兔子雕塑作品拟人化
  • 精密医学精准医学(Precision medicine,简称PM),是一种针对病患的个别情形,进行医疗卫生个别化的医学模式,包括医学决策、治疗、实务以及药品都是针对此病患的情形所规划的。此医学模式下,诊
  • 里部里部,为汉字索引中的部首之一,康熙字典214个部首中的第一百六十六个(七划的则为第二十个)。就繁体和简体中文中,里部归于七划部首。里部只以下方为部字。且无其他部首可用者将部
  • 曲轴曲轴(英语:crankshaft)是往复式活塞引擎中,将活塞的直线往复运动的动能转化为旋转动能的部件。曲轴主要是由一根会旋转的长轴构成,为了将往复式的运动转换为旋转运动,曲轴上会有“
  • 监狱摇滚《监狱摇滚》(英语:)是一部于1957年上映的美国歌舞片,由理查德·索普执导,由埃尔维斯·皮礼士利(猫王)、朱迪·泰勒和米基·肖夫尼西主演,故事由内德里克·杨创作,影片由米高梅公司发
  • 夏鸾翔夏鸾翔(?-1864年),字紫笙,浙江钱塘人,清朝数学家。为项梅侣入室弟子。著有《洞方术图解》二卷、《致曲术》一卷、《致曲图解》一卷、《少广缒凿》一卷。民国学者夏曾佑为其子;已故北
  • 吴克文吴克文(闽南语:Ngôo Khik-Bûn,1928年-1995年),字子章,号藻卿,台湾澎湖县马公市西卫里人。吴氏出身书香世家,饶有诗名,尤擅书法。在第二次世界大战之后,吴克文更是澎湖地区鸾堂发展的
  • 感实性感实性或译以为真实而非事实(Truthiness)是美国讽刺性喜剧演员史蒂芬·科拜尔(Stephen Colbert)所用的一个词汇。它首先被用于2005年10月17日《科拜尔报告》()的电视节目首集中。
  • 刘赤刘赤(?-1世纪),西汉广德静王刘榆子。居摄元年(6年)袭爵。居摄三年(8年),王莽篡位,降爵为公,次年封国废除。
  • 卡尔梅努·米夫苏德·邦尼奇卡尔梅努·米夫苏德·邦尼奇(马耳他语:Karmenu Mifsud Bonnici,1933年7月17日-2022年11月5日)是一名马耳他政治人物,曾于1984年至1987年担任马耳他总理。