Robin Milner, i sin helhed Arthur John Robin Gorell Milner, (født 13. januar 1934, Yealmpton, Devon, Eng. — døde 20. marts, 2010, Cambridge, Cambridgeshire), engelsk computervidenskabsmand og vinder af 1991 AM Turing Award, the højeste ære inden for datalogi for sit arbejde med automatiske teorem provers, ML-programmeringssprog og en generel teori om samtidighed.
Milner gik på Eton College og vandt et stipendium til at gå på University of Cambridge i 1952, men han måtte udsætte sit kursusarbejde, mens han tjenestegjorde ved Suez-kanalen med Royal Engineers i den britiske hær i de næste to år. Milner kom ind i Cambridge i 1954 og uddannede sig med en bachelorgrad i matematik i 1957. Han blev første gang udsat for computing i sommeren 1956 med et kort kursus i programmering, hvor han brugte skolens EDSAC-computer. Derefter flyttede Milner til London, hvor han havde forskellige job, herunder en postundervisning i matematik ved Marylebone Grammar School (1959–60), før han blev en computerprogrammør og udviklede compilere hos Ferranti Ltd. (Ferranti producerede den første kommercielle computer, Ferranti Mark I, i 1951.)
I 1963 forlod Milner Ferranti for en akademisk stilling ved City University London, hvor han underviste i matematik til ingeniørstuderende og begyndte forskning i kunstig intelligens (AI) og dens anvendelse på databaser. I 1968 accepterede Milner en forskerstilling på University of Wales, Swansea, hvor han arbejdede med programverifikation, automatisk teorem-bevisning og semantik. I 1971 tog Milner til USA for at arbejde sammen med John McCarthy i AI-laboratoriet på Stanford University. Milner vendte tilbage til Storbritannien i 1973 for at acceptere en stilling på University of Edinburgh, hvor han hjalp med at designe ML ("metalanguage"), et computerprogrammeringssprog udviklet til implementering af en automatisk teorem solver. I 1995 vendte Milner tilbage til Cambridge som leder af skolens computerlaboratorium. Han trak sig i pension i 2001.
Milner var blandt andet forfatteren af A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999) og The Space and Motion of Communicating Agents (2009). Han fungerede som redaktør for teoretisk datalogi, forskningsnotater i teoretisk datalogi, formelle aspekter af computing og matematiske strukturer i datalogi, og han var i redaktionen for Proceedings of the Royal Society of Edinburgh: Afsnit A, matematik.
Milner blev valgt til Royal Society (1988), British Computer Society (1988), Royal Society of Edinburgh (1993), Association of Computing Machinery (1994), det franske akademi for videnskaber (2005) og US National Academy of Engineering (2008). Foruden Turing Award modtog Milner en British Computer Society Technical Award (1987), en Royal Society of Edinburgh Royal Gold Medal (2004) og en European Association for Theoretical Computer Science Distinguished Achievements Award (2005).
