Robin Milner, u potpunosti Arthur John Robin Gorell Milner, (rođen 13. siječnja 1934., Yealmpton, Devon, eng. - umro 20. ožujka 2010., Cambridge, Cambridgeshire), engleski računalni znanstvenik i dobitnik nagrade Turing Turing 1991, najveća čast u računalnim znanostima, za njegov rad s automatskim dokazima teorema, ML računalnim programskim jezikom i općom teorijom istodobnosti.
Milner je pohađao Eton College i stekao stipendiju da bi pohađao Sveučilište u Cambridgeu 1952. godine, ali je morao odgoditi svoj kursni rad dok je naredne dvije godine služio u Sueskom kanalu s Kraljevskim inženjerima britanske vojske. Milner je ušao u Cambridge 1954., a diplomirao je matematiku 1957. Prvi put je bio izložen računarstvu u ljeto 1956. kratkim tečajem programiranja u kojem je koristio školsko EDSAC računalo. Nakon toga, Milner se preselio u London, gdje je obavljao razne poslove, uključujući poduku matematike u gimnaziji Marylebone (1959–60), prije nego što je postao računalni programer i razvio prevodioce u tvrtki Ferranti Ltd. (Ferranti je proizveo prvo komercijalno računalo, Ferranti Mark I, 1951.)
Godine 1963. Milner je napustio Ferranti zbog akademskog položaja na Gradskom sveučilištu u Londonu, gdje je predavao matematiku studentima inženjerstva i započeo istraživanja u umjetnoj inteligenciji (AI) i njezinoj primjeni u bazama podataka. Milner je 1968. prihvatio istraživačku poziciju na Sveučilištu u Walesu u Swanseaju, gdje je radio na provjeri programa, automatskom dokazivanju teorema i semantiki. Godine 1971. Milner je otišao u Sjedinjene Države kako bi radio s Johnom McCarthyjem u AI laboratoriju na Sveučilištu Stanford. Milner se vratio u Britaniju 1973. godine i prihvatio mjesto na Sveučilištu u Edinburghu, gdje je pomogao dizajnirati ML („metajezik“), računalni programski jezik razvijen za primjenu automatskog rješavanja teorema. Godine 1995. Milner se vratio u Cambridge kao šef školskog računalnog laboratorija. U mirovinu je 2001. godine.
Milner je, između ostalih djela, bio autor knjige A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999), i The Space and Motion of Communicating Agents (2009). Bio je urednik za Teorijske računalne znanosti, Istraživačke bilješke iz teorijske informatike, Formalne aspekte računarstva i Matematičke strukture u računalnoj znanosti, a bio je i u uredništvu časopisa Zbornik radova Kraljevskog društva Edinburgha: Odjeljak A, Matematika.
Milner je izabran u Kraljevsko društvo (1988), Britansko računalno društvo (1988), Kraljevsko društvo u Edinburghu (1993), Udruženje računarskih strojeva (1994), Francusku akademiju znanosti (2005) i američku Nacionalnu Akademija inženjera (2008). Pored Turingove nagrade, Milner je dobio Tehničku nagradu Britanskog računalnog društva (1987.), Kraljevsko zlatno odličje Kraljevskog društva u Edinburghu (2004.) i Nagradu Europskog udruženja za teorijske računalne znanosti (2005).
