罗宾·米尔纳

维基百科，自由的百科全书

罗宾·米尔纳（Robin Milner），英国计算机科学家。1991年获得图灵奖。

1952年从剑桥大学国王学院毕业，之后的第一个工作是教师，然后在Ferranti公司当程序员。回到学术界，先后在City大学，Swansea大学，斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言，ML，并和他的同事一起完成了LCF的开发。在离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院（[[1]])提供了一笔捐款并成立了每年一次在爱丁堡大学信息学院举行的以他名字名名的罗宾·米尔纳演讲（[2])，被邀请的演讲者都是对理论计算机科学有重大贡献的学者。1995年，罗宾·米尔纳回到母校剑桥，并担任剑桥大学计算机实验室主任，现为剑桥大学计算机实验室教授。

在計算機科學裡，米爾納主要有三大貢獻。他開發了其中一個最早的自動定理證明工具——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日