罗宾·米尔纳（1934年1月13日——2010年3月20日），出生于英国普利茅斯耶尔姆普顿，1991年图灵奖得主，美国国家科学院外籍院士，欧洲科学院创院院士，法国科学院外籍院士，ACM fellow，英国皇家学会院士，爱丁堡皇家学会院士，英国计算机学会杰出会士，生前是英国剑桥大学计算机科学名誉教授。

1934年1月13日，罗宾·米尔纳出生于英国普利茅斯耶尔姆普顿。

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岁。

罗宾·米尔纳与合作者实现了LCF，即设计出了允许用户交互地生成关于各种领域的可计算函数和函数的正式证明，包括计算机科学家感兴趣的领域，例如整数、列表和计算机程序及其语义。罗宾·米尔纳开发实现了一种语言，被设计成一种元语言（因此得名ML），用于实现一个名为爱丁堡LCF的新证明助手，ML影响了许多实用语言，包括Java、Scala和微软的f#。罗宾·米尔纳针对语义学的基本问题，特别是程序的数学外延属性与其操作行为之间的联系，构造了第一个完全抽象的模型。罗宾·米尔纳与合作者开发了π微积分，在π微积分中，标签作为值传递，从而创建了一种通信系统的微积分，可以自然地表达结构变化的过程。

据2023年9月AMiner平台数据，罗宾·米尔纳已发表学术论文76篇，论文被引21135次，H-Index：39。

[1]Robin Milner，Joachim Parrow，David Walker.A calculus of mobile processes， I[J].Information and Computation，1992.

[2]Matthew Hennessy，Robin Milner.Algebraic laws for nondeterminism and concurrency[J].Journal of the ACM，1985.

[3]Robin Milner.Calculi For Synchrony And Asynchrony[J].Theoretical Computer Science，1983.

[4]Luis Damas，Robin Milner.Principal type-schemes for functional programs[J].ACM-SIGACT Symposium on Principles of Programming Languages （POPL），1982.

[5]Robin Milner.A theory of type polymorphism in programming[J].Journal of Computer and System Sciences （JCSS），1978.

罗宾·米尔纳与人一起创立了爱丁堡大学计算机科学基础实验室。

截止到2006年12月，罗宾·米尔纳已培养毕业博士生19位。

罗宾·米尔纳于1980年出版了《Calculus of communication Systems，CCS》（通信系统演算），1989年出版了《Communication and Concurrency》（通信与并发性），两本都是关于通信模型的教材。

罗宾·米尔纳1990年担任英国计算机科学杰出学位论文计划的创始主席，并于2002年成为英国计算研究委员会UKCRC）的创始成员，2009年3月被聘为爱丁堡大学信息学论坛兼职教授。

罗宾·米尔纳出生在英格兰南部海岸的一个军人家庭，父亲是英国陆军上校。

在学生时代，罗宾·米尔纳喜欢演奏双簧管、大提琴和钢琴，并考虑以音乐为职业。罗宾·米尔纳对工具很感兴趣，他收藏了大量的木工工具，他用这些工具制作了各式形状的拉线式电灯开关手柄、家里的专用货架，甚至还为冰箱制作了一个新手柄，他还制作了一个新的木制表盘。

1963年，在一次音乐营中，罗宾·米尔纳遇到了他的妻子，小提琴老师露西·摩尔。露西在一个业余弦乐四重奏中演奏提琴。妻子先于罗宾·米尔纳去世，他的儿子加布里埃尔也先于他去世。他还有妹妹琼、女儿克洛伊（和女儿艾米）和儿子巴尼（和女儿杰德）。

他（罗宾·米尔纳）的学术风格、严谨和对细节的关注为所有人树立了一个很高的榜样（his style of scholarship，rigor，and attention to detail sets a high example for all to follow）。（美国计算机协会评）

罗宾·米尔纳是“理论计算机科学之父”（ROBIN GORELL MILNER, a founding father of theoretical computer science）。（美国国家工程院评）