Can you summarize the following document?
        
  出生於一個軍人家庭,早年就讀於伊頓公學。後加入英國皇家工程兵部隊,獲得少尉軍銜。1952年入讀劍橋大學國王學院,1957年畢業,之後的第一個工作是教師,然後在Ferranti公司當程式設計師。此後他進入學術界,先後在倫敦城市大學,Swansea大學,斯坦福大學任職。1973年回到英國愛丁堡大學,在愛丁堡大學任職期間,他開發了函數語言程式設計語言,ML,並和他的同事一起完成了LCF的開發。在離開愛丁堡前,羅賓·米爾納向現在的愛丁堡大學資訊學院(:愛丁堡大學資訊學院)提供了一筆捐款併成立了每年一次在愛丁堡大學資訊學院舉行的以他名字命名的羅賓·米爾納演講(),被邀請的演講者都是對理論電腦科學有重大貢獻的學者。1995年,羅賓·米爾納回到母校劍橋大學任教,並擔任劍橋大學計算機實驗室主任。  2010 年3月20日卒於英國劍橋。

  在電腦科學裡,米爾納主要有三大貢獻。他開發了其中一個最早的自動定理證明工具——LCF。  他另一項主要工作是併發理論(concurrency theory),他提出了許多被廣泛研究的併發計算模型:CCS、pi演算。
亞瑟·約翰·羅賓·葛瑞爾·米爾納(英語:Arthur John Robin Gorell Milner,1934年-1月13日-2010年-3月20日),生於英國普利茅斯,電腦科學家。1991年獲得圖靈獎。他是英國皇家學會成員,ACM會士。