罗宾·米尔纳（Robin Milner），全职亚瑟·约翰·罗宾·戈勒尔·米尔纳（Arthur John Robin Gorell Milner）（1934年1月13日出生，英格兰德文郡耶尔普顿市-2010年3月20日去世，剑桥郡，剑桥郡），英语计算机科学家，1991年图灵奖获得者，他在自动定理证明，ML计算机编程语言和通用并发理论方面的工作获得了计算机科学领域的最高荣誉。
米尔纳（Milner）就读于伊顿公学（Eton College），并于1952年获得了进入剑桥大学的奖学金，但是在接下来的两年中，他不得不推迟在苏伊士运河与英军皇家工程师一起在苏伊士运河工作的课程。米尔纳（Milner）于1954年进入剑桥，并于1957年获得了数学学士学位。他于1956年夏季首次接触计算机，当时他学习的是一门简短的编程课程，他使用学校的EDSAC计算机。此后，米尔纳（Milner）移居伦敦，在这里担任过各种工作，包括在马里波恩语法学校（1959–60）任教数学，之后他成为计算机程序员并在Ferranti Ltd.开发了编译器。 1951年的Ferranti MarkI。）
1963年，米尔纳（Milner）离开费兰蒂（Ferranti）在伦敦城市大学任教，在那里他为工程专业的学生教授数学，并开始研究人工智能（AI）及其在数据库中的应用。1968年，米尔纳在斯旺西的威尔士大学接受研究职位，在那里他从事程序验证，自动定理证明和语义学的研究。1971年，米尔纳（Milner）前往美国，在斯坦福大学（Stanford University）的AI实验室与约翰·麦卡锡（John McCarthy）合作。米尔纳（Milner）于1973年回到英国，在爱丁堡大学任职，在那里他帮助设计了ML（“ metalanguage”），这是一种用于实现自动定理求解器的计算机编程语言。1995年，米尔纳（Milner）返回剑桥，成为该校计算机实验室的负责人。他于2001年退休。
除其他著作外，米尔纳还撰写了《通信系统演算》（1980年），《通信与并发》（1989年），《通信与移动系统：Pi演算》（1999年）和《通信主体的空间与运动》（2009年）一书。他曾担任《理论计算机科学》，《理论计算机科学研究笔记》，《计算机的形式形式》和《计算机科学中的数学结构》的编辑，并且是《爱丁堡皇家学会学报》（数学A部分）的编委会成员。
米尔纳当选为皇家学会（1988），英国计算机学会（1988），爱丁堡皇家学会（1993），计算机协会（1994），法国科学院（2005）和美国国民工程学院（2008）。除了获得图灵奖之外，米尔纳还获得了英国计算机学会技术奖（1987），爱丁堡皇家学会皇家金质奖章（2004）和欧洲理论计算机科学协会杰出成就奖（2005）。
