跳转到内容

罗宾·米尔纳

维基百科,自由的百科全书
(重定向自Robin Milner
罗宾·米尔纳
出生Arthur John Robin Gorell Milner
(1934-01-13)1934年1月13日
 英国普利茅斯亚姆顿英语Yealmpton
逝世2010年3月20日(2010歲—03—20)(76歲)
 英国剑桥
知名于
奖项
科学生涯
研究领域计算机科学
机构
博士導師无,因为米尔纳从未获得PhD学位[1]
博士生Mads Tofte (1988)
Faron Moller
Chris Tofts
Davide Sangiorgi (1993)[2][3]

亞瑟·約翰·羅賓·葛瑞爾·米爾納(英語:Arthur John Robin Gorell Milner,1934年1月13日—2010年3月20日),生于英国普利茅斯计算机科学家。1991年获得图灵奖。他是英国皇家学会成员,爱丁堡皇家学会会员,ACM会士。

生平

[编辑]

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

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

學術貢獻

[编辑]

在計算機科學裡,米爾納主要有三大貢獻。他開發了其中一個最早的自動定理證明工具——LCF

他另一項主要工作是并发理论(concurrency theory),他提出了许多被广泛研究的并发计算模型:通信系统演算英语Calculus of communicating systems(CCS)、pi演算

參考

[编辑]
  1. ^ Interview with Robin Milner by Martin Berger页面存档备份,存于互联网档案馆).
  2. ^ Sangiorgi, Davide. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms (学位论文). University of Edinburgh. 1993. OCLC 29948444. hdl:1842/6569. EThOS uk.bl.ethos.566460. 
  3. ^ 罗宾·米尔纳數學譜系計畫的資料。
  4. ^ Milner, R. Elements of interaction: Turing award lecture. Communications of the ACM. 1993, 36: 78–89. doi:10.1145/151233.151240可免费查阅. 
  5. ^ The Milner Lecture页面存档备份,存于互联网档案馆

外部連結

[编辑]