Robin Milner, i sin helhet Arthur John Robin Gorell Milner, (född 13 januari 1934, Yealmpton, Devon, Eng.-dog 20 mars 2010, Cambridge, Cambridgeshire), engelska datorforskare och vinnare av 1991 Turing Award, 1991 högsta ära inom datavetenskap, för sitt arbete med automatiska teorem provers, ML-programmeringsspråk och en allmän teori om samtidighet.
Milner deltog i Eton College och vann ett stipendium för att gå vid University of Cambridge 1952, men han var tvungen att skjuta upp sitt kursarbete medan han tjänade vid Suezkanalen med den kungliga ingenjörerna i den brittiska armén under de kommande två åren. Milner gick in i Cambridge 1954 och tog examen med en kandidatexamen i matematik 1957. Han exponerades först för dator sommaren 1956 med en kort kurs i programmering där han använde skolans EDSAC-dator. Därefter flyttade Milner till London, där han hade olika jobb, bland annat en postundervisning i matematik vid Marylebone Grammar School (1959–60), innan han blev dataprogrammerare och utvecklade kompilatorer på Ferranti Ltd. (Ferranti producerade den första kommersiella datorn, Ferranti Mark I, 1951.)
1963 lämnade Milner Ferranti för en akademisk befattning vid City University London, där han lärde matematik till ingenjörsstudenter och började forskning inom artificiell intelligens (AI) och dess tillämpning på databaser. 1968 accepterade Milner en forskarposition vid University of Wales, Swansea, där han arbetade med programverifiering, automatisk teorembevisning och semantik. 1971 åkte Milner till USA för att arbeta med John McCarthy i AI-laboratoriet vid Stanford University. Milner återvände till Storbritannien 1973 för att acceptera en befattning vid University of Edinburgh, där han hjälpte till att utforma ML (”metalanguage”), ett datorprogrammeringsspråk som utvecklats för att implementera en automatisk teoremlösare. 1995 återvände Milner till Cambridge som chef för skolans datorlaboratorium. Han gick i pension 2001.
Milner var bland andra författare till A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999), och The Space and Motion of Communications Agents (2009). Han tjänade som redaktör för teoretisk datavetenskap, forskningsanteckningar inom teoretisk datavetenskap, formella aspekter av datoranvändning och matematiska strukturer i datavetenskap, och han var i redaktionen för Proceedings of the Royal Society of Edinburgh: Avsnitt A, matematik.
Milner valdes till Royal Society (1988), British Computer Society (1988), Royal Society of Edinburgh (1993), Association of Computing Machinery (1994), French Academy of Sciences (2005) och US National Academy of Engineering (2008). Förutom Turing Award fick Milner en British Computer Society Technical Award (1987), en Royal Society of Edinburgh Royal Gold Medal (2004) och en European Association for Theoretical Computer Science Distinguished Achievements Award (2005).
