罗宾·米尔纳的简介
发布网友
共1个回答
热心网友
1958年从剑桥大学国王学院毕业，之后的第一个工作是教师，然后在Ferranti公司当程序员。回到学术界，先后在City大学，Swansea大学，斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言，ML，并和他的同事一起完成了LCF的开发。在离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院提供了一笔捐款并成立了每年一次在爱丁堡大学信息学院举行的以他名字名名的罗宾·米尔纳讲座，被邀请的演讲者都是对理论计算机科学有重大贡献的学者。1995年，罗宾·米尔纳回到母校剑桥，并担任剑桥大学计算机实验室主任，现为剑桥大学计算机实验室教授。
1991年的图灵奖授予给了爱丁堡大学计算机科学系教授罗宾·米尔纳(RobinMilner)。他是继威尔克斯（M．V．Wilkes，1967）、威尔金森（J．H．Wilkinson，1970）和霍尔（C．A．R．Hoare，1980）之后第四位获此殊荣的英国科学家，这也使英国成为除美国之外获得图灵奖的学者最多的国家。米尔纳的主要贡献在计算机程序设计语言方面，他提出了形式化逻辑系统的一个数学模型LCF，又主持开发了元语言ML并使之标准化。米尔纳还利用代数方法为并发与并行计算创建了一种概念框架系统CCS，推动并促进了并发与并行计算的发展。
