Robin Milner, voluit Arthur John Robin Gorell Milner, (geboren 13 januari 1934, Yealmpton, Devon, Eng. - stierf 20 maart 2010, Cambridge, Cambridgeshire), Engelse informaticus en winnaar van de AM Turing Award 1991, de hoogste onderscheiding in de informatica, voor zijn werk met automatische stellingproeven, de ML-computerprogrammeertaal en een algemene theorie van gelijktijdigheid.
Milner ging naar het Eton College en won in 1952 een beurs om naar de Universiteit van Cambridge te gaan, maar hij moest zijn cursuswerk uitstellen terwijl hij aan het Suezkanaal diende bij de Royal Engineers van het Britse leger voor de komende twee jaar. Milner kwam in 1954 naar Cambridge en studeerde in 1957 af met een bachelor in wiskunde. Hij werd in de zomer van 1956 voor het eerst blootgesteld aan informatica met een korte cursus programmeren, waarbij hij de EDSAC-computer van de school gebruikte. Daarna verhuisde Milner naar Londen, waar hij verschillende banen bekleedde, waaronder een postdoc wiskunde aan de Marylebone Grammar School (1959–60), voordat hij computerprogrammeur werd en compilers ontwikkelde bij Ferranti Ltd. (Ferranti produceerde de eerste commerciële computer, de Ferranti Mark I, in 1951.)
In 1963 verliet Milner Ferranti voor een academische functie aan de City University London, waar hij wiskunde doceerde aan ingenieursstudenten en begon met onderzoek naar kunstmatige intelligentie (AI) en de toepassing ervan op databases. In 1968 aanvaardde Milner een onderzoekspositie aan de Universiteit van Wales, Swansea, waar hij werkte aan programmaverificatie, automatisch theoretisch bewijzen en semantiek. In 1971 ging Milner naar de Verenigde Staten om met John McCarthy samen te werken in het AI-laboratorium aan de Stanford University. Milner keerde in 1973 terug naar Groot-Brittannië om een functie aan de Universiteit van Edinburgh te aanvaarden, waar hij hielp met het ontwerpen van ML ("metalanguage"), een computerprogrammeertaal die is ontwikkeld voor het implementeren van een automatische theorema-oplosser. In 1995 keerde Milner terug naar Cambridge als hoofd van het computerlaboratorium van de school. Hij ging in 2001 met pensioen.
Milner was onder meer de auteur van A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999) en The Space and Motion of Communicating Agents (2009). Hij was redacteur bij Theoretical Computer Science, Research Notes in Theoretical Computer Science, Formal Aspects of Computing, and Mathematical Structures in Computer Science, en was lid van de redactieraad van de Proceedings of the Royal Society of Edinburgh: Section A, Mathematics.
Milner werd gekozen in de Royal Society (1988), de British Computer Society (1988), de Royal Society of Edinburgh (1993), de Association of Computing Machinery (1994), de French Academy of Sciences (2005) en de US National Academy of Engineering (2008). Naast de Turing Award ontving Milner een British Computer Society Technical Award (1987), een Royal Society of Edinburgh Royal Gold Medal (2004) en een European Association for Theoretical Computer Science Distinguished Achievements Award (2005).
