罗宾·米尔纳（Robin Milner），英国计算机科学家。1991年获得图灵奖。
1952年从剑桥大学国王学院毕业，之后的第一个工作是教师，然后在Ferranti公司当程序员。回到学术界，先后在City大学，Swansea大学，斯坦福大学任职。1973年回到英国爱丁堡大学，在爱丁堡大学任职期间，他开发了函数式编程语言，ML，并和他的同事一起完成了LCF的开发。在离开爱丁堡前，罗宾·米尔纳向现在的爱丁堡大学信息学院（[[1]])提供了一笔捐款并成立了每年一次在爱丁堡大学信息学院举行的以他名字名名的罗宾·米尔纳演讲（[2])，被邀请的演讲者都是对理论计算机科学有重大贡献的学者。1995年，罗宾·米尔纳回到母校剑桥，并担任剑桥大学计算机实验室主任，现为剑桥大学计算机实验室教授。
在計算機科學裡，米爾納主要有三大貢獻。他開發了其中一個最早的自動定理證明工具——LCF。
他另一項主要工作是并发理论（concurrency theory），他提出了许多被广泛研究的并发计算模型：CCS、pi演算。
外部鏈結及參考
1966年: 佩利 • 67年: 威尔克斯 • 68年: 漢明 • 69年: 閔斯基 • 70年: 维尔金森 • 71年: 麦卡锡 • 72年: 迪科斯彻 • 73年: 巴赫曼 • 74年: 高德納 • 75年: 纽威尔和 西蒙 • 76年: 拉宾和 斯科特 • 77年: 巴科斯 • 78年: 弗洛易德 • 79年: 艾佛森 • 80年: 何珥 • 81年: 科德 • 82年: 古克 • 83年: 湯普遜和 里奇 • 84年: 沃斯 • 85年: 卡普 • 86年: 霍普克罗夫特和 塔扬 • 87年: 科克 • 88年: 苏泽兰 • 89年: 卡亨 • 90年: 考巴托 • 91年: 米尔纳 • 92年: 兰普森 • 93年: 哈特马尼斯和 斯特恩斯 • 94年: 费根鲍姆和 瑞迪 • 95年: 布卢姆 • 96年: 伯努利 • 97年: 恩格尔巴特 • 98年: 格雷 • 99年: 布鲁克斯 • 2000年: 姚期智 • 01年: 达尔和 奈加特 • 02年: 李维斯特, 萨莫尔和 阿德曼 • 03年: 凯 • 04年: 科夫和 卡恩 • 05年: 诺尔 • 06年: 艾伦
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日
