福彩快三

計算機科學

首頁 > 計算機科學

羅賓·米爾納

2018-09-12 13:50:47     所屬分類:圖靈獎獲得者

亞瑟·約翰·羅賓·葛瑞爾·米爾納英語:Arthur John Robin Gorell Milner,1934年1月13日-2010年3月20日),生于英國普利茅斯,計算機科學家。1991年獲得圖靈獎。他是英國皇家學會成員,ACM會士。

生平

福彩快三出生于一個軍人家庭,早年就讀于伊頓公學。后加入英國皇家工程兵部隊,獲得少尉軍銜。1952年入讀劍橋大學國王學院,1957年畢業,之后的第一個工作是教師,然后在Ferranti公司當程序員。此后他進入學術界,先后在倫敦城市大學,Swansea大學,斯坦福大學任職。1973年回到英國愛丁堡大學,在愛丁堡大學任職期間,他開發了函數式編程語言,ML,并和他的同事一起完成了LCF的開發。在離開愛丁堡前,羅賓·米爾納向現在的愛丁堡大學信息學院(愛丁堡大學信息學院)提供了一筆捐款并成立了每年一次在愛丁堡大學信息學院舉行的以他名字命名的羅賓·米爾納演講(1),被邀請的演講者都是對理論計算機科學有重大貢獻的學者。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日

福彩快三感謝您的支持,我會繼續努力的!

掃碼支持
1分,2分不嫌少,錢不錢的無所謂,重要的是你的話語激勵我前行!

愿你每天溫暖如春!!!

顯示全文

取消

感謝您的支持,我會繼續努力的!

掃碼支持
無需打賞可直接關閉閱讀全文
1分,2分不嫌少,錢不錢的無所謂,重要的是你的話語激勵我前行!

福彩快三愿你每天溫暖如春!!!


上一篇:約翰·科克
相關推薦