羅賓·米爾納

亞瑟·約翰·羅賓·葛瑞爾·米爾納（英語：Arthur John Robin Gorell Milner，1934年1月13日—2010年3月20日），生於英國普利茅斯，計算機科學家。1991年獲得圖靈獎。他是英國皇家學會成員，愛丁堡皇家學會會員，ACM會士。

羅賓·米爾納
出生	Arthur John Robin Gorell Milner (1934-01-13)1934年1月13日  英國普利茅斯亞姆頓（英語：Yealmpton）
逝世	2010年3月20日(2010歲—03—20)（76歲）  英國劍橋
知名於	計算機科學理論 LCF（英語：LCF theorem prover） ML CCS（英語：Calculus of communicating systems） π-演算 Hindley–Milner類型推論
獎項	圖靈獎 (1991)[4] FRS DFBCS（英語：Distinguished Fellow of the British Computer Society） FRSE 外籍會員, NAE
科學生涯
研究領域	計算機科學
機構	倫敦大學城市學院 斯旺西大學 史丹福大學 愛丁堡大學 劍橋大學
博士導師	無，因為米爾納從未獲得PhD學位[1]
博士生	Mads Tofte (1988) Faron Moller Chris Tofts Davide Sangiorgi (1993)[2][3]

生平

出生於一個軍人家庭，早年就讀於伊頓公學。後加入英國皇家工程兵部隊，獲得少尉軍銜。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 （頁面存檔備份，存於互聯網檔案館）

外部連結

• 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日