-
罗宾·米尔纳 编辑
罗宾·米尔纳
罗宾·米尔纳（1934年1月13日——2010年3月20日），出生于英国普利茅斯耶尔姆普顿，1991年图灵奖得主，美国国家科学院外籍院士，欧洲科学院创院院士，法国科学院外籍院士，ACM fellow，英国皇家学会院士，爱丁堡皇家学会院士，英国计算机学会杰出会士，生前是英国剑桥大学计算机科学名誉教授。罗宾·米尔纳1952年至1954年担任英国皇家工兵少尉；1954年至1957年在剑桥大学国王学院攻读数学学士学位；1958年至1959年担任马里波恩文法学校数学教师；1960年至1962年担任英国电脑制造商费兰蒂有限公司程序员；1963年至1967年担任伦敦城市大学讲师；1968年至1970年任职于斯旺西大学；1971年至1973年任职于斯坦福大学，担任约翰·麦卡锡人工智能项目的研究助理；1973年至1995年任职于爱丁堡大学；1988年当选为英国计算机学会杰出会士，同年当选为欧洲科学院创院院士和英国皇家学会院士；1991年获得图灵奖；1993年当选为爱丁堡皇家学会院士；1994年当选为ACM fellow；1995年至2001年担任剑桥大学计算机实验室主任；2001年退休；2005年当选为法国科学院外籍院士；2008年当选为美国国家工程院外籍院士；2009年至2010年担任爱丁堡大学计算机科学系系主任；2010年3月20日在他的妻子露西的葬礼结束几天后，死于心脏病发作，在英国剑桥去世，享年76岁。罗宾·米尔纳致力于数学计算理论的研究。
中文名：罗宾·米尔纳
外文名：Robin Milner
国籍：英国
出生地：英国普利茅斯耶尔姆普顿
出生日期：1934年1月13日
逝世日期：2010年3月20日
毕业院校：剑桥大学
职业：教育科研工作者
主要成就：1988年当选为欧洲科学院创院院士1991年获得图灵奖2005年当选为法国科学院外籍院士2008年当选为美国国家工程院外籍院士
学位/学历：学士
1952年—1954年，担任英国皇家工兵少尉。
1954年—1957年，在剑桥大学国王学院攻读数学学士学位。
1958年—1959年，担任马里波恩文法学校数学教师。
1960年—1962年，担任英国电脑制造商费兰蒂有限公司程序员。
1963年—1967年，担任伦敦城市大学讲师。
1968年—1970年，任职于斯旺西大学。
1971年—1973年，任职于斯坦福大学，担任约翰·麦卡锡人工智能项目的研究助理。
1973年—1995年，任职于爱丁堡大学。
1988年，当选为英国计算机学会杰出会士，同年当选为欧洲科学院创院院士和英国皇家学会院士。
1991年，获得图灵奖。
1993年，当选为爱丁堡皇家学会院士。
1994年，当选为ACM fellow。
1995年—2001年，担任剑桥大学计算机实验室主任。
2001年，退休。
2005年，当选为法国科学院外籍院士。
2008年，当选为美国国家工程院外籍院士。
2009年—2010年，担任爱丁堡大学计算机科学系系主任。
2010年3月20日，因心脏病发作，在英国剑桥去世，享年76岁。
罗宾·米尔纳" alt="
罗宾·米尔纳" src="https://bkimg.cdn.bcebos.com/pic/58ee3d6d55fbb2fb4316e8fed71d37a4462308f7769d?x-bce-process=image/format,f_auto/resize,m_lfit,limit_1,h_336"/> 罗宾·米尔纳
科研成就
科研综述
罗宾·米尔纳与合作者实现了LCF，即设计出了允许用户交互地生成关于各种领域的可计算函数和函数的正式证明，包括计算机科学家感兴趣的领域，例如整数、列表和计算机程序及其语义。罗宾·米尔纳开发实现了一种语言，被设计成一种元语言（因此得名ML），用于实现一个名为爱丁堡LCF的新证明助手，ML影响了许多实用语言，包括Java、Scala和微软的f#。罗宾·米尔纳针对语义学的基本问题，特别是程序的数学外延属性与其操作行为之间的联系，构造了第一个完全抽象的模型。罗宾·米尔纳与合作者开发了π微积分，在π微积分中，标签作为值传递，从而创建了一种通信系统的微积分，可以自然地表达结构变化的过程。
论文截图
学术论文
据2023年9月AMiner平台数据，罗宾·米尔纳已发表学术论文76篇，论文被引21135次，H-Index：39。
Robin Milner，Joachim Parrow，David Walker.A calculus of mobile processes， I.Information and Computation，1992.
Matthew Hennessy，Robin Milner.Algebraic laws for nondeterminism and concurrency.Journal of the ACM，1985.
Robin Milner.Calculi For Synchrony And Asynchrony.Theoretical Computer Science，1983.
Luis Damas，Robin Milner.Principal type-schemes for functional programs.ACM-SIGACT Symposium on Principles of Programming Languages （POPL），1982.
Robin Milner.A theory of type polymorphism in programming.Journal of Computer and System Sciences （JCSS），1978.
科研平台
罗宾·米尔纳与人一起创立了爱丁堡大学计算机科学基础实验室。
人才培养
学生培养
截止到2006年12月，罗宾·米尔纳已培养毕业博士生19位。
出版教材
罗宾·米尔纳于1980年出版了《Calculus of communication Systems，CCS》（通信系统演算），1989年出版了《Communication and Concurrency》（通信与并发性），两本都是关于通信模型的教材。
荣誉表彰
获奖时间 | 荣誉表彰 |
|---|---|
1987年 | 英国计算机学会标准ML开发技术奖 |
1988年 | 欧洲科学院创院院士 |
1988年 | 英国皇家学会院士 |
1991年 | 图灵奖 |
1993年 | 爱丁堡皇家学会院士 |
1994年 | ACM fellow |
1996年 | 斯特林大学荣誉博士 |
1997年 | 博洛尼亚大学荣誉博士 |
1998年 | 伦敦城市大学荣誉博士 |
1999年 | 丹麦奥胡斯大学荣誉博士 |
2000年 | 埃塞克斯大学荣誉博士 |
2001年 | ACM SIGPLAN编程语言成就奖 |
2003年 | 爱丁堡大学荣誉博士 |
2004年 | 斯旺西大荣誉院士 |
2004年 | 爱丁堡皇家学会皇家奖章 |
2005年 | 欧洲理论计算机科学协会杰出成就奖 |
2005年 | 格拉斯哥大学荣誉博士 |
2005年 | 法国科学院外籍院士 |
2006年—2007年 | 巴黎综合理工学院布莱兹·帕斯卡国际研究主席奖 |
2007年 | 巴黎南方大学荣誉博士 |
2008年 | 美国国家科学院外籍院士 |
参考资料： | |
家庭背景
罗宾·米尔纳出生在英格兰南部海岸的一个军人家庭，父亲是英国陆军上校。
兴趣爱好
在学生时代，罗宾·米尔纳喜欢演奏双簧管、大提琴和钢琴，并考虑以音乐为职业。罗宾·米尔纳对工具很感兴趣，他收藏了大量的木工工具，他用这些工具制作了各式形状的拉线式电灯开关手柄、家里的专用货架，甚至还为冰箱制作了一个新手柄，他还制作了一个新的木制表盘。
婚姻家庭
1963年，在一次音乐营中，罗宾·米尔纳遇到了他的妻子，小提琴老师露西·摩尔。露西在一个业余弦乐四重奏中演奏提琴。妻子先于罗宾·米尔纳去世，他的儿子加布里埃尔也先于他去世。他还有妹妹琼、女儿克洛伊（和女儿艾米）和儿子巴尼（和女儿杰德）。
罗宾·米尔纳是“理论计算机科学之父”（ROBIN GORELL MILNER, a founding father of theoretical computer science）。（美国国家工程院评）
1、本站所有文本、信息、视频文件等，仅代表本站观点或作者本人观点，请网友谨慎参考使用。
2、本站信息均为作者提供和网友推荐收集整理而来，仅供学习和研究使用。
3、对任何由于使用本站内容而引起的诉讼、纠纷，本站不承担任何责任。
4、如有侵犯你版权的，请来信（邮箱:baike52199@gmail.com）指出，核实后，本站将立即删除。
下一篇 詹姆斯·哈迪·威尔金森
上一篇 莱斯利·瓦利安特
