罗宾·米尔纳

✍ dations ◷ 2025-07-06 10:03:35 #罗宾·米尔纳

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

相关

高压权威威权主义（英语：Authoritarianism）或威权论在哲学中是一个政治哲学理论，其提出某个政府应要求民众绝对服从其权威，并限制个人的思想跟言论和行为自由。政府上的威权主义指权力集中
计算几何计算几何是一门兴起于二十世纪七十年代末的计算机科学的一个分支，主要研究解决几何问题的算法。自从1946年世界上第一台电子计算机问世以来，计算机应用的一个重要里程碑是1962
安宁河谷平原安宁河谷平原是中华人民共和国四川省的第二大平原，位于凉山彝族自治州。根据《中国大百科全书》记载：“阶地发育，宽4—10公里，坡度平缓，面积达1800平方公里，为川西南唯一最大河谷
威尔逊质数质数 p {\displaystyle p} 为威尔逊质数，如果即 ( p − 1 ) ! +
靳羽西靳羽西（1946年－），女，广西桂林人，美国华裔电视节目主持人、制片人、企业家，羽西品牌化妆品创始人。
千叶县旗千叶县旗（日语：千葉県旗／ちばけんき）是日本千叶县的象征性旗帜。县章在1909年12月28日第378号县公告上通过制定。片假名“チ”与“ハ”组合成的图案。东京都章继承了旧东京市
数字光影灯数字光影灯是一种先进的大功率，大幅面光影设备，运用精确的光学原理，实现了超高亮度、超大幅面、超远距离的成像要求。广泛应用于各类大型户内外场地，包括城市设施、展览中心、主
西马 (钟表制造商)西马（英语：CYMA）是1862年在瑞士成立的钟表制造商，并为宝光实业旗下成员。1862年，西马于瑞士侏罗山区（Jura Mountains）成立，Joseph Schwob和Theodore Schwob进驻当地开设制表业，专注发
长乐县 (唐朝)长乐县，中国古旧县名。唐朝武德六年（623年），由闽县析置新宁县，同年，改为长乐县。属福州长乐郡。元和三年（808年），并入福唐县。元和五年（810年），复置长乐县。五代十国时，王审知改为安昌县，
2014年国际足联世界杯转播权2014年国际足联世界杯转播权通过国际足联直接授权，或通过已被授权的公司或组织来授权获得。一些国家和地区采用同一个公司进行广播。