1991年的图灵奖授予给了爱丁堡大学计算机科学系教授罗宾·米尔纳(RobinMilner)。他是继威尔克斯(M．V．Wilkes，1967)、威尔金森(J．H．Wilkinson，1970)和霍尔(C．A．R．Hoare，1980)之后第四位获此殊荣的英国科学家。 出生于一个军人家庭，早年就读于伊顿公学。后加入英国皇家工程兵xx，获得少尉军衔。1952年入读剑桥大学国王学院，1957年毕业，之后的{dy}个工作是教师，然后在Ferranti公司当程序员。此后他进入学术界，先后在伦敦城市大学，Swansea大学，斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言，ML，并和他的同事一起完成了LCF的开发。在离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院提供了一笔捐款并成立了每年一次在爱丁堡大学信息学院举行的以他名字命名的罗宾·米尔纳演讲，被邀请的演讲者都是对理论计算机科学有重大贡献的学者。1995年，罗宾·米尔纳回到母校剑桥大学任教，并担任剑桥大学计算机实验室主任。 在计算机科学里，米尔纳主要有三大贡献。他开发了其中一个最早的自动定理证明工具——LCF。 他另一项主要工作是并发理论（concurrency theory），他提出了许多被广泛研究的并发计算模型：CCS、pi演算。 |
郑重声明：资讯 【Robin.Milner Pi运算_做人要快乐_百度空间】由 发布，版权归原作者及其所在单位，其原创性以及文中陈述文字和内容未经(企业库qiyeku.com)证实，请读者仅作参考，并请自行核实相关内容。若本文有侵犯到您的版权， 请你提供相关证明及申请并与我们联系（qiyeku # qq.com）或【在线投诉】，我们审核后将会尽快处理。
—— 相关资讯 ——
