Robin Milner, täielikult Arthur John Robin Gorell Milner, (sündinud 13. jaanuaril 1934 Yealmptonis Devonis - suri 20. märtsil 2010 Cambridge'is, Cambridgeshire) - inglise arvutiteadlane ja 1991. aasta AM Turingi auhinna laureaat. kõrgeim au arvutiteaduses, töö eest automaatsete teoreemiproversioonide, ML-i programmeerimiskeele ja üldise samaaegsuse teooriaga.
Milner osales Etoni kolledžis ja võitis 1952. aastal Cambridge'i ülikoolis osalemiseks stipendiumi, kuid ta pidi oma kursuste töö edasi lükkama, kui ta teenis Suessi kanalil Briti armee kuninglike inseneridega järgmiseks kaheks aastaks. Milner astus Cambridge'i 1954. aastal ja lõpetas 1957. aastal bakalaureusekraadi matemaatikas. Ta puutus esmakordselt arvutustehnikaga kokku 1956. aasta suvel programmeerimise lühikursusega, kus ta kasutas kooli EDSAC-i arvutit. Pärast seda kolis Milner Londonisse, kus tal oli mitmesuguseid töökohti, sealhulgas matemaatikaõpetuse järelõpe Marylebone ühisgümnaasiumis (1959–60), enne kui temast sai arvutiprogrammeerija ja arendas Ferranti Ltd.-is kompilaatorit (Ferranti tootis esimest kommertsarvutit, Ferranti Mark I, 1951.)
Aastal 1963 lahkus Milner Ferrantilt akadeemilisele ametikohale Londoni City Universitysse, kus ta õpetas matemaatikat inseneritudengitele ning alustas teadusuuringuid tehisintellektiga (AI) ja selle rakendamist andmebaasides. Aastal 1968 võttis Milner teadusuuringute ametikoha Swansea Walesi ülikoolis, kus ta töötas programmi kontrollimise, automaatse teoreemide tõestamise ja semantika alal. 1971. aastal läks Milner USA-sse, et töötada koos John McCarthyga Stanfordi ülikooli AI laboris. Milner naasis Suurbritanniasse 1973. aastal, et võtta vastu ametikoht Edinburghi ülikoolis, kus ta aitas kujundada arvutiprogrammeerimiskeelt ML (“metalanguage”), mis on välja töötatud automaatse teoreemide lahendaja rakendamiseks. 1995 naasis Milner Cambridge'i kooli arvutilabori juhatajana. Ta läks pensionile 2001. aastal.
Milner oli teiste tööde hulgas raamatute A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999) and the Space and Motion of Agents (2009) autor. Ta töötas teoreetilise infotehnoloogia, arvutiteaduse teoreetiliste märkuste, arvutustehnika formaalsete aspektide ja arvutiteaduse matemaatiliste struktuuride uurimustööde toimetajana ning oli Edinburghi kuningliku seltsi toimetiste toimetuskolleegiumi A-osa: Matemaatika.
Milner valiti kuninglikku seltsi (1988), Briti arvutiühingusse (1988), Edinburghi kuninglikku seltsi (1993), Arvutimasinate assotsiatsiooni (1994), Prantsuse Teaduste Akadeemiasse (2005) ja USA riiklikku Tehnikaakadeemia (2008). Lisaks Turingi auhinnale pälvis Milner Briti Arvutiseltsi Tehnilise Auhinna (1987), Edinburghi Kuningliku Ühingu kuningliku kuldmedali (2004) ja Euroopa Teoreetilise Arvutiteaduse Assotsiatsiooni silmapaistvate saavutuste auhinna (2005).
