罗宾·米尔纳
亞瑟·約翰·羅賓·葛瑞爾·米爾納（英語：，1934年1月13日－2010年3月20日），生于英国普利茅斯，计算机科学家。1991年获得图灵奖。他是英国皇家学会成员，ACM会士。
| Robin Milner | |
|---|---|
| 出生 | Arthur John Robin Gorell Milner 1934年1月13日 Yealmpton, 普利茅斯, 英格兰 |
| 逝世 | 2010年3月20日（76歲） 剑桥, 英格兰 |
| 知名于 |
|
| 奖项 | |
| 科学生涯 | |
| 研究领域 | 计算机科学 |
| 机构 | |
| 博士导师 | 无，因为Milner从未获得PhD学位[2] |
| 博士生 | Mads Tofte (1988) Faron Moller Chris Tofts Davide Sangiorgi (1993)[3][4] |
生平
出生于一个军人家庭，早年就读于伊顿公学。后加入英国皇家工程兵部队，获得少尉军衔。1952年入读剑桥大学国王学院，1957年毕业，之后的第一个工作是教师，然后在Ferranti公司当程序员。此后他进入学术界，先后在伦敦城市大学，Swansea大学，斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言，ML，并和他的同事一起完成了LCF的开发。在离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院（爱丁堡大学信息学院)提供了一笔捐款并成立了每年一次在爱丁堡大学信息学院举行的以他名字命名的罗宾·米尔纳演讲（)，被邀请的演讲者都是对理论计算机科学有重大贡献的学者。1995年，罗宾·米尔纳回到母校剑桥大学任教，并担任剑桥大学计算机实验室主任。
2010 年3月20日卒于英国剑桥。
學術貢獻
在計算機科學裡，米爾納主要有三大貢獻。他開發了其中一個最早的自動定理證明工具——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日
- Milner, R. . Communications of the ACM. 1993, 36: 78–89. doi:10.1145/151233.151240. 已忽略未知参数
|doi-access=(帮助) - Interview with Robin Milner by Martin Berger.
- Sangiorgi, Davide. (Ph.D. thesis). University of Edinburgh. 1993. OCLC 29948444. hdl:1842/6569. EThOS uk.bl.ethos.566460.
- 罗宾·米尔纳在數學譜系計畫的資料。
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.