Robin Milner, v celoti Arthur John Robin Gorell Milner, (rojen 13. januarja 1934, Yealmpton, Devon, inž. - umrl 20. marca 2010, Cambridge, Cambridgeshire), angleški računalničar in dobitnik nagrade Turing 1991 AM, najvišja čast računalništva, za njegovo delo z avtomatskimi dokazili za teoreme, računalniški programski jezik ML in splošno teorijo o sočasnosti.
Milner je obiskoval šolo Eton in dobil štipendijo za obiskovanje univerze v Cambridgeu leta 1952, vendar je moral odložiti svoje tečajno delo, medtem ko je naslednji dve leti služboval v Sueškem kanalu pri kraljevi inženirji britanske vojske. Milner je vstopil v Cambridge leta 1954 in diplomiral iz matematike leta 1957. Računalništvo je bil prvič izpostavljen poleti 1956 s kratkim tečajem programiranja, v katerem je uporabljal šolski računalnik EDSAC. Potem se je Milner preselil v London, kjer je opravljal različna delovna mesta, vključno s poučevanjem matematike na gimnaziji Marylebone (1959–60), preden je postal računalniški programer in razvil prevajalnike pri Ferranti Ltd. (Ferranti je izdelal prvi komercialni računalnik, Ferranti Mark I, leta 1951.)
Leta 1963 je Milner zapustil Ferranti za akademski položaj na mestni univerzi v Londonu, kjer je študentom inženirstva predaval matematiko in začel raziskovati umetno inteligenco (AI) in njeno uporabo v zbirkah podatkov. Leta 1968 je Milner sprejel raziskovalno mesto na Univerzi v Walesu v Swanseaju, kjer je delal na verifikaciji programov, samodejnem dokazovanju izrek in semantiki. Leta 1971 je Milner odšel v ZDA, da bi sodeloval z Johnom McCarthyjem v laboratoriju AI na univerzi Stanford. Milner se je leta 1973 vrnil v Britanijo in sprejel mesto na univerzi v Edinburghu, kjer je pomagal zasnovati ML („metajezičnost“), računalniški programski jezik, razvit za izvajanje avtomatskega reševanja izrek. Leta 1995 se je Milner vrnil v Cambridge kot vodja šolskega računalniškega laboratorija. Leta 2001 se je upokojil.
Med drugimi deli je bil Milner avtor knjig A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999) in The Space and Motion of Communicating Agents (2009). Služil je kot urednik za teoretično računalništvo, raziskovalne opombe teoretičnega računalništva, formalne vidike računalništva in matematične strukture v računalništvu, bil pa je tudi v uredništvu zbornika Proceedings of the Royal Society of Edinburgh: Oddelek A, Matematika.
Milner je bil izvoljen v Royal Society (1988), British Computer Society (1988), Royal Society of Edinburgh (1993), Association of Computing Machinery (1994), Francosko akademijo znanosti (2005), in ameriško National Akademija za inženirstvo (2008). Poleg Turingove nagrade je Milner prejel tehnično nagrado British Computer Society (1987), Royal Society of Edinburgh Royal Gold Medal (2004) in nagrado Evropskega združenja za teoretične računalniške znanosti (2005).
