Robin Milner, v plnom znení Arthur John Robin Gorell Milner, (narodený 13. januára 1934, Yealmpton, Devon, Anglicko - zomrel 20. marca 2010, Cambridge, Cambridgeshire), anglický počítačový vedec a víťaz ceny AM Turing Award za rok 1991, najvyššia česť v odbore výpočtovej techniky, za prácu s dokázateľmi automatických teorémov, počítačový programovací jazyk ML a všeobecná teória súbežnosti.
Milner navštevoval Eton College a získal štipendium na štúdium na University of Cambridge v roku 1952, ale musel prerušiť prácu na kurze, kým v nasledujúcich dvoch rokoch pôsobil na Suezskom prieplave u kráľovských inžinierov britskej armády. Milner nastúpil do Cambridge v roku 1954 a promoval s bakalárskym štúdiom v matematike v roku 1957. Prvýkrát bol vystavený počítačovej technike v lete 1956 s krátkym kurzom programovania, v ktorom používal školský počítač EDSAC. Potom sa Milner presťahoval do Londýna, kde pôsobil na rôznych pozíciách vrátane postgraduálnej matematiky na gymnáziu v Marylebone (1959 - 60), predtým ako sa stal počítačovým programátorom a vyvíjal kompilátory v spoločnosti Ferranti Ltd. (Ferranti vyrobil prvý komerčný počítač, Ferranti Mark I, v roku 1951.)
V roku 1963 Milner odišiel z Ferranti na akademické miesto na City University London, kde vyučoval matematiku na strojárskych študentov a začal výskum v oblasti umelej inteligencie (AI) a jej aplikácie do databáz. V roku 1968 Milner prijal výskumné miesto na University of Wales, Swansea, kde pracoval na overovaní programu, automatickom preukazovaní teórie a sémantike. V roku 1971 odišiel Milner do Spojených štátov, aby spolupracoval s Johnom McCarthym v laboratóriu AI na Stanfordskej univerzite. Milner sa vrátil do Británie v roku 1973, aby prijal pozíciu na univerzite v Edinburghu, kde pomáhal navrhnúť ML („metajazyk“), počítačový programovací jazyk vyvinutý na implementáciu automatického riešenia teorémov. V roku 1995 sa Milner vrátil do Cambridge ako vedúci počítačového laboratória školy. V roku 2001 odišiel do dôchodku.
Okrem iných prác bol Milner autorom knihy Kalkul pre komunikačné systémy (1980), Komunikácia a súbežnosť (1989), Komunikačné a mobilné systémy: Pi-Calculus (1999) a Priestor a pohyb komunikačných agentov (2009). Pôsobil ako redaktor teoretickej informatiky, výskumných poznámok z teoretickej informatiky, formálnych aspektov výpočtovej techniky a matematických štruktúr v informatike a bol členom redakčnej rady zborníka Kráľovskej spoločnosti v Edinburghu: Oddiel A, Matematika.
Milner bol zvolený do Kráľovskej spoločnosti (1988), Britskej počítačovej spoločnosti (1988), Kráľovskej spoločnosti v Edinburghu (1993), Asociácie počítačových strojov (1994), Francúzskej akadémie vied (2005) a amerického národného Akadémia inžinierstva (2008). Okrem ceny Turingovej získal Milner technickú cenu Britskej počítačovej spoločnosti (1987), Kráľovskú spoločnosť Edinburghskej kráľovskej medaily (2004) a Európsku asociáciu za cenu teoretických výsledkov v odbore počítačovej vedy (2005).
