亞瑟·約翰·羅賓·葛瑞爾·米爾納 （英語：Arthur John Robin Gorell Milner 普利茅斯 ，计算机科学 家。1991年获得图灵奖 。他是英国皇家学会 成员，爱丁堡皇家学会 会员，ACM会士。
罗宾·米尔纳 出生 Arthur John Robin Gorell Milner (1934-01-13 ) 1934年1月13日英国 普利茅斯 亚姆顿 逝世 2010年3月20日(2010歲—03—20 ) （76歲）英国 剑桥 知名于 奖项 科学生涯 研究领域 计算机科学 机构 博士導師 无，因为米尔纳从未获得PhD学位[2] 博士生 Mads Tofte (1988)[3] [4]
生平 编辑 出生于一个军人家庭，早年就读于伊顿公学 。后加入英国皇家工程兵部队，获得少尉 军衔。1952年入读剑桥大学国王学院 ，1957年毕业，之后的第一个工作是教师，然后在Ferranti公司当程序员。此后他进入学术界，先后在伦敦城市大学 ，斯旺西大学 ，斯坦福大学 任职。1973年回到英国爱丁堡大学 ，在爱丁堡大学任职期间，他开发了函数式编程语言，ML ，并和他的同事一起完成了LCF的开发。在离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院 提供了一笔捐款并成立了每年一次在爱丁堡大学信息学院举行的以他名字命名的罗宾·米尔纳演讲[5] 剑桥大学 任教，并担任剑桥大学计算机实验室主任。2009年起，米尔纳回归爱丁堡大学 担任计算机科学教席。
2010 年3月20日卒于英国剑桥。
學術貢獻 编辑 在計算機科學裡，米爾納主要有三大貢獻。他開發了其中一個最早的自動定理證明 工具——LCF。
他另一項主要工作是并发理论（concurrency theory），他提出了许多被广泛研究的并发计算模型：通信系统演算
參考 编辑 ^ Milner, R. Elements of interaction: Turing award lecture. Communications of the ACM. 1993, 36 : 78–89. doi:10.1145/151233.151240 ^ Interview with Robin Milner by Martin Berger （页面存档备份，存于互联网档案馆 ）. ^ 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. ^ 罗宾·米尔纳在數學譜系計畫 的資料。 ^ The Milner Lecture （页面存档备份，存于互联网档案馆 ） 外部連結 编辑 , a book on computer science dedicated to Milner and covering many areas of his work. Milner在劍橋的首頁 （页面存档备份，存于互联网档案馆 ） ; Martin Berger; 2003年9月3日
罗宾, 米尔纳, 亞瑟, 約翰, 羅賓, 葛瑞爾, 米爾納, 英語, arthur, john, robin, gorell, milner, 1934年1月13日, 2010年3月20日, 生于英国普利茅斯, 计算机科学家, 1991年获得图灵奖, 他是英国皇家学会成员, 爱丁堡皇家学会会员, acm会士, 出生arthur, john, robin, gorell, milner, 1934, 1934年1月13日, 英国普利茅斯亚姆顿, 英语, yealmpton, 逝世2010年3月20日, 2010歲, . 亞瑟 約翰 羅賓 葛瑞爾 米爾納 英語 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 p 演算 Hindley Milner类型推论奖项图灵奖 1991 1 FRS DFBCS 英语 Distinguished Fellow of the British Computer Society FRSE 外籍会员 NAE科学生涯研究领域计算机科学机构伦敦大学城市学院 斯旺西大学 斯坦福大学 爱丁堡大学 剑桥大学博士導師无 因为米尔纳从未获得PhD学位 2 博士生Mads Tofte 1988 Faron MollerChris ToftsDavide Sangiorgi 1993 3 4 目录 1 生平 2 學術貢獻 3 參考 4 外部連結生平 编辑出生于一个军人家庭 早年就读于伊顿公学 后加入英国皇家工程兵部队 获得少尉军衔 1952年入读剑桥大学国王学院 1957年毕业 之后的第一个工作是教师 然后在Ferranti公司当程序员 此后他进入学术界 先后在伦敦城市大学 斯旺西大学 斯坦福大学任职 1973年回到英国爱丁堡大学 在爱丁堡大学任职期间 他开发了函数式编程语言 ML 并和他的同事一起完成了LCF的开发 在离开爱丁堡前 罗宾 米尔纳向现在的爱丁堡大学信息学院提供了一笔捐款并成立了每年一次在爱丁堡大学信息学院举行的以他名字命名的罗宾 米尔纳演讲 5 被邀请的演讲者都是对理论计算机科学有重大贡献的学者 1995年 罗宾 米尔纳回到母校剑桥大学任教 并担任剑桥大学计算机实验室主任 2009年起 米尔纳回归爱丁堡大学担任计算机科学教席 2010 年3月20日卒于英国剑桥 學術貢獻 编辑在計算機科學裡 米爾納主要有三大貢獻 他開發了其中一個最早的自動定理證明工具 LCF 他另一項主要工作是并发理论 concurrency theory 他提出了许多被广泛研究的并发计算模型 通信系统演算 英语 Calculus of communicating systems CCS pi演算 參考 编辑 Milner R Elements of interaction Turing award lecture Communications of the ACM 1993 36 78 89 doi 10 1145 151233 151240 nbsp Interview with Robin Milner by Martin Berger 页面存档备份 存于互联网档案馆 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 罗宾 米尔纳在數學譜系計畫的資料 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日 取自 https zh wikipedia org w index php title 罗宾 米尔纳 amp oldid 77691463, 维基百科，wiki ，书籍，书籍，图书馆，
文章 ，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。