计算机科学

首页 > 计算机科学

罗宾·米尔纳

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

生平

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

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

学术贡献

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

他另一项主要工作是并发理论(concurrency theory),他提出了许多被广泛研究的并发计算模型:CCS、pi演算。

外部链接及参考

  • 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日

上一篇:约翰·科克
相关推荐