Robin Milner, na íntegra Arthur John Robin Gorell Milner (nascido em 13 de janeiro de 1934, Yealmpton, Devon, Eng. - morreu em 20 de março de 2010, Cambridge, Cambridgeshire), cientista da computação inglês e vencedor do Prêmio AM Turing de 1991, o maior honra em ciência da computação, por seu trabalho com provadores automáticos de teoremas, a linguagem de programação de computadores ML e uma teoria geral de simultaneidade.
Milner cursou o Eton College e ganhou uma bolsa de estudos para ingressar na Universidade de Cambridge em 1952, mas teve que adiar seu trabalho enquanto servia no Canal de Suez com os engenheiros reais do exército britânico pelos próximos dois anos. Milner ingressou em Cambridge em 1954 e formou-se em matemática em 1957. Ele foi exposto à computação no verão de 1956 com um pequeno curso de programação em que usava o computador EDSAC da escola. Depois disso, Milner se mudou para Londres, onde ocupou vários empregos, incluindo um pós-ensino de matemática na Marylebone Grammar School (1959–60), antes de se tornar programador de computadores e desenvolver compiladores na Ferranti Ltd. (Ferranti produziu o primeiro computador comercial, Ferranti Mark I, em 1951.)
Em 1963, Milner deixou Ferranti para uma posição acadêmica na City University London, onde ensinou matemática a estudantes de engenharia e começou a pesquisar em inteligência artificial (IA) e sua aplicação em bancos de dados. Em 1968, Milner aceitou uma posição de pesquisa na Universidade de Gales, Swansea, onde trabalhou na verificação de programas, na prova automática de teoremas e na semântica. Em 1971, Milner foi para os Estados Unidos para trabalhar com John McCarthy no laboratório de IA da Universidade de Stanford. Milner retornou à Grã-Bretanha em 1973 para aceitar um cargo na Universidade de Edimburgo, onde ajudou a projetar o ML (“metalinguagem”), uma linguagem de programação de computadores desenvolvida para implementar um solucionador automático de teoremas. Em 1995, Milner retornou a Cambridge como chefe do laboratório de informática da escola. Aposentou-se em 2001.
Entre outros trabalhos, Milner foi autor de A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999) e The Space and Motion of Communicating Agents (2009). Ele atuou como editor de Ciência da Computação Teórica, Notas de Pesquisa em Ciência da Computação Teórica, Aspectos Formais da Computação e Estruturas Matemáticas em Ciência da Computação, e estava no conselho editorial da Proceedings of the Royal Society of Edinburgh: Seção A, Matemática.
Milner foi eleito para a Royal Society (1988), a British Computer Society (1988), a Royal Society de Edinburgh (1993), a Association of Computing Machinery (1994), a French Academy of Sciences (2005) e a US National. Academia de Engenharia (2008). Além do Prêmio Turing, Milner recebeu um Prêmio Técnico da Sociedade Britânica da Computação (1987), uma Medalha de Ouro Real da Sociedade Real de Edimburgo (2004) e uma Associação Europeia para o Prêmio Distinto em Conquistas Teóricas da Ciência da Computação (2005).
