罗宾·米尔纳

罗宾·米尔纳,在全阿瑟·约翰·罗宾Gorell米尔纳(出生于1934年1月13日,Yealmpton德文郡Eng。死于2010年3月20日,剑桥,剑桥郡),英语计算机科学家和1991年点图灵奖,最高的荣誉计算机科学与自动定理验证,为他工作,毫升计算机编程语言,并发性的一般理论。

米尔纳参加了伊顿公学并获得奖学金参加剑桥大学在1952年,但是他不得不推迟他的课程,而他曾在苏伊士运河与英国皇家工程师未来两年的英国军队。米尔纳在1954年进入剑桥大学,毕业学士学位在数学在1957年。他第一次接触计算在1956年夏天用短疗程在编程中使用学校的EDSAC电脑。之后,米尔纳搬到伦敦,在那里他举行的各种工作,包括一篇教数学在马里波恩文法学校(1959 - 60),在他成为一名电脑程序员和发展编译器Ferranti有限公司(Ferranti产生第一个商用电脑,Ferranti马克我,1951年)。

Ferranti 1963年米尔纳离开伦敦城市大学的学术地位,在那里他教数学工程学生,开始研究人工智能(AI)及其应用数据库。米尔纳在1968年接受了威尔士大学的研究地位,斯旺西,他工作在项目验证、自动定理证明,语义。1971年米尔纳去了美国一起工作约翰·麦卡锡在人工智能实验室斯坦福大学。米尔纳回到英国在1973年接受的位置爱丁堡大学,在那里他帮助设计毫升(“元语言”),一台计算机编程语言开发实现一个自动定理求解程序。1995年米尔纳回到剑桥学校计算机实验室的负责人。他在2001年退休。

在其他作品中,米尔纳的作者微积分的通信系统(1980),沟通和并发性(1989),和移动通信系统:并行计算(1999)和交流的空间和运动(2009)。他担任编辑理论计算机科学,研究指出在理论计算机科学,正式的计算方面,在计算机科学的数学结构,他的编辑委员会爱丁堡皇家学会学报:部分,数学。

米尔纳当选英国皇家学会英国计算机学会(1988),(1988),爱丁堡皇家学会(1993),计算机械协会(1994),法国科学院(2005)和美国国家工程院(2008)。除了图灵奖,米尔纳收到英国计算机协会技术奖(1987),一个皇家爱丁堡皇家学会金牌(2004),和一个欧洲协会理论计算机科学的卓越成就奖(2005)。