羅賓·米爾納

亞瑟·約翰·羅賓·葛瑞爾·米爾納(英語: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歲)
 英國劍橋
知名於
獎項
科學生涯
研究領域計算機科學
機構
博士導師無,因為米爾納從未獲得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頁面存檔備份,存於互聯網檔案館

外部連結

編輯