罗宾·米尔纳

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

罗宾·米尔纳
出生	Arthur John Robin Gorell Milner (1934-01-13)1934年1月13日  英国普利茅斯亚姆顿（英语：Yealmpton）
逝世	2010年3月20日(2010岁—03—20)（76岁）  英国剑桥
知名于	计算机科学理论 LCF（英语：LCF theorem prover） ML CCS（英语：Calculus of communicating systems） π-演算 Hindley–Milner类型推论
奖项	图灵奖 (1991)[4] FRS DFBCS（英语：Distinguished Fellow of the British Computer Society） FRSE 外籍会员, NAE
科学生涯
研究领域	计算机科学
机构	伦敦大学城市学院 斯旺西大学 斯坦福大学 爱丁堡大学 剑桥大学
博士导师	无，因为米尔纳从未获得PhD学位[1]
博士生	Mads Tofte (1988) Faron Moller Chris Tofts Davide Sangiorgi (1993)[2][3]

生平

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

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

学术贡献

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

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

参考

1. Interview with Robin Milner by Martin Berger （页面存档备份，存于互联网档案馆）.
2. Sangiorgi, Davide. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms (学位论文). University of Edinburgh. 1993. OCLC 29948444. hdl:1842/6569. EThOS uk.bl.ethos.566460.
3. 罗宾·米尔纳在数学谱系计划的资料。
4. Milner, R. Elements of interaction: Turing award lecture. Communications of the ACM. 1993, 36: 78–89. doi:10.1145/151233.151240 .
5. The Milner Lecture （页面存档备份，存于互联网档案馆）

外部链接

• A review of "Proof, Language, and Interaction", a book on computer science dedicated to Milner and covering many areas of his work.
• Milner在剑桥的首页 （页面存档备份，存于互联网档案馆）
• 访问; Martin Berger; 2003年9月3日