Robin Milner, v plné výši Arthur John Robin Gorell Milner, (narozen 13. ledna 1934, Yealmpton, Devon, Eng. - zemřel 20. března 2010, Cambridge, Cambridgeshire), anglický počítačový vědec a vítěz ceny 1991 Turingovy ceny, nejvyšší vyznamenání v informatice, za jeho práci s automatickými prověrkami věty, počítačovým programovacím jazykem ML a obecnou teorií souběžnosti.
Milner navštěvoval Eton College a získal stipendium na univerzitu v Cambridge v roce 1952, ale musel odložit svou práci na kursech, zatímco na další dva roky sloužil u Suezského průplavu u královských inženýrů britské armády. Milner nastoupil do Cambridge v roce 1954 a promoval s bakalářským titulem v matematice v roce 1957. Poprvé byl vystaven práci s výpočetní technikou v létě 1956 krátkým kurzem programování, ve kterém používal školní počítač EDSAC. Poté se Milner přestěhoval do Londýna, kde zastával různé funkce, včetně postgraduální matematiky na gymnáziu Marylebone (1959–60), než se stal počítačovým programátorem a vyvinul kompilátory ve společnosti Ferranti Ltd. (Ferranti vyrobil první komerční počítač, Ferranti Mark I, v roce 1951.)
V roce 1963 Milner odešel z Ferranti na akademické místo na City University London, kde učil matematiku studentům strojírenství a začal výzkum umělé inteligence (AI) a jeho aplikace do databází. V roce 1968 Milner přijal výzkumné místo na University of Wales ve Swansea, kde pracoval na ověřování programu, automatickém ověřování věty a sémantice. V roce 1971 odešel Milner do Spojených států, aby spolupracoval s Johnem McCarthym v laboratoři AI na Stanfordské univerzitě. Milner se vrátil do Británie v roce 1973, aby přijal místo na University of Edinburgh, kde pomáhal navrhnout ML („metalanguage“), počítačový programovací jazyk vyvinutý pro implementaci automatického řešitele věty. V roce 1995 se Milner vrátil do Cambridge jako vedoucí školní počítačové laboratoře. V roce 2001 odešel do důchodu.
Milner byl mimo jiné autorem Kalkulu pro komunikační systémy (1980), Komunikace a souběžnosti (1989), Komunikační a mobilní systémy: Pi-Calculus (1999) a Prostor a pohyb komunikačních agentů (2009). Působil jako redaktor teoretické informatiky, výzkumných poznámek v teoretické informatice, formálních aspektů výpočetní techniky a matematických struktur v informatice a byl členem redakční rady sborníku Královské společnosti v Edinburghu: sekce A, matematika.
Milner byl zvolen do Royal Society (1988), British Computer Society (1988), Royal Society of Edinburgh (1993), Asociace výpočetních strojů (1994), Francouzské akademie věd (2005) a USA National Akademie inženýrství (2008). Kromě ceny Turingovy ceny získal Milner technickou cenu British Computer Society Technical Award (1987), Královskou společnost Edinburghské královské zlaté medaile (2004) a Evropskou asociaci za cenu teoretických úspěchů v oblasti počítačové vědy (2005).
