罗宾·米尔纳

✍ dations ◷ 2025-01-12 01:46:14 #罗宾·米尔纳

亚瑟·约翰·罗宾·葛瑞尔·米尔纳（英语：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演算。

相关

乙酰苯胺乙酰苯胺，又名N- Phenylacetamide、Acetanilide，或商标名称Antifebrin，是一种白色有光泽片状结晶或叶片或鳞片状的固体化学品。乙酰苯胺可以透过醋酸酐和苯胺或苯基苯胺氯化物
陈桂林陈桂林（1941年12月17日－），福建南安人，空间红外遥感专家，中国科学院院士。陈桂林于1967年毕业于西安交通大学无线电工程系。1970年起长期在中国科学院上海技术物理研究所工作。1984
纯文本文本文件一般指只有字符原生编码构成的二进制计算机文件，与富文本相比，其不包含字样样式的控制元素，能够被最简单的文本编辑器直接读取。由于结构简单，文本文件被广泛用于记录信
地方检察官地方检察官（英语：District Attorney，简称：DA）是美国许多司法辖区内，负责代表政府提出刑事诉讼。地方检察官是美国郡级司法管辖区的法律部门最高公务员，他负责监督副检察官和助理检
浅草浅草（日语：浅草／あさくさ Asakusa */?），本身既是日本东京都台东区的一个地名，也是以浅草寺为中心的周边繁华街区的总称。在近年东京都内实行区份合并以前，浅草本来是东京都内的一
WBZ中波台WBZ-AM（1030 AM），是位于马萨诸塞州波士顿市的一家中波广播电台。该电台开播于1921年9月19日，是北美最古老的广播电台之一。目前该电台由清晰频道通信公司拥有，主要播出新闻和谈话
伊恩·卡马伊恩·卡马（Ian Khama，1953年2月27日－），博茨瓦纳政治家，博茨瓦纳民主党成员，曾任博茨瓦纳副总统（1998年-2008年），2008年4月1日起任博茨瓦纳总统。卡马是博茨瓦纳首任总统塞雷茨·卡马
Last Fantasy《Last Fantasy》是歌手IU的第二张正规专辑，共有13首曲目，包括主打歌《You & I》 (너랑 나)。本转辑为IU继EP《Real》，于9个月后回归歌坛后推出，于2011年11月29日发行。此专辑一
陈珪如陈珪如（1907年－1986年），女，福建闽侯人，中国哲学家，曾任复旦大学哲学系教授。丈夫胡曲园。
颜真卿颜真卿（709年－785年），字清臣，雍州万年县（今陕西省西安市），籍贯琅邪郡临沂县（今山东省临沂市），唐朝政治家、书法家。其楷书与欧阳询、柳公权、赵孟�并称“楷书四大家”。颜真卿少年丧父，由母亲殷氏（殷践猷之长妹）抚养长大。“少好儒学，恭孝自立。贫乏纸笔，以黄土扫墙，习学书字，攻楷书绝妙，词翰超伦”。开元二十二年（734年）进士，充当河西陇左军城覆屯交兵使，天宝二年（743年）前去洛阳访张旭。历任殿中侍御史、东都畿采访判官，转侍御史、武部员外郎。御史吉温出于私怨陷害御史中丞宋浑，颜真卿敢于诤言：“奈何以