Arthur John Robin Gorell Milner (13 de janeiro de 1934 – 20 de março de 2010) foi um cientista da computação britânico e vencedor do Prêmio Turing da ACM de 1991. Ele é amplamente reconhecido por três grandes contribuições: o desenvolvimento da Lógica para Funções Computáveis (LCF) e da linguagem de programação ML, o cálculo de sistemas comunicantes (CCS) e o cálculo π. Seu trabalho estabeleceu bases fundamentais na prova automatizada de teoremas, em sistemas de tipos e na análise teórica de sistemas concorrentes e móveis.
A pesquisa de Milner uniu a ciência da computação teórica ao design prático de linguagens, influenciando áreas que vão da programação funcional à computação distribuída. Seu trabalho posterior sobre bigrafos visava unificar modelos de concorrência e computação ubíqua, embora tenha permanecido incompleto em sua morte.
Vida, educação e carreira
Milner nasceu em Yealmpton, perto de Plymouth, Inglaterra, em uma família militar. Ele obteve uma Bolsa do Rei para o Eton College em 1947 e recebeu o Prêmio Tomline, o maior prêmio de matemática em Eton, em 1952. Após servir nos Engenheiros Reais como Segundo Tenente, ele se matriculou no King's College, Cambridge, graduando-se em 1957.
Sua carreira inicial incluiu trabalho como professor escolar e depois como programador na Ferranti. Ele entrou para a academia na City University, Londres, seguido por posições na Universidade de Swansea e na Universidade de Stanford. Em 1973, ele se juntou à Universidade de Edimburgo, onde cofundou o Laboratório para Fundamentos da Ciência da Computação (LFCS). Em 1995, ele retornou a Cambridge como chefe do Laboratório de Computação, função da qual eventualmente se afastou, embora tenha permanecido ativo lá. A partir de 2009, ele foi Pesquisador Sênior da Scottish Informatics & Computer Science Alliance e ocupou uma cátedra de meio período em ciência da computação na Universidade de Edimburgo.
Milner morreu de um ataque cardíaco em 20 de março de 2010 em Cambridge. Sua esposa, Lucy, morreu pouco antes dele.
Contribuições para linguagens de programação
O trabalho de Milner em LCF, uma das primeiras ferramentas de prova automatizada de teoremas, levou à criação de ML. Essa linguagem introduziu a inferência polimórfica de tipos, usando o algoritmo W, e o tratamento de exceções com segurança de tipos. ML foi a primeira linguagem com um sistema de tipos inferido automaticamente, um recurso que se tornou influente em linguagens como Haskell e OCaml. Milner também é creditado por redescobrir o sistema de tipos Hindley–Milner, que sustenta a tipagem polimórfica.
Seus arcabouços teóricos para concorrência incluem o cálculo de sistemas comunicantes (CCS), desenvolvido no final dos anos 1970, e seu sucessor, o cálculo π, introduzido no início dos anos 1990. CCS modela processos como agentes interagentes, enquanto o cálculo π estende isso para permitir canais de comunicação móveis. Esses formalismos se tornaram pilares no estudo de sistemas concorrentes e distribuídos.
Na época de sua morte, Milner trabalhava em bigrafos, um formalismo destinado a abranger CCS e o cálculo π para computação ubíqua. Esse trabalho visava modelar tanto os aspectos espaciais quanto temporais de agentes interagentes.
Honras e prêmios
Milner recebeu inúmeras distinções. Ele foi nomeado Membro da Royal Society e Membro Distinto da British Computer Society em 1988. Em 1991, ele recebeu o Prêmio Turing da ACM. Ele foi admitido como Membro da ACM em 1994. Em 2004, a Royal Society de Edimburgo concedeu-lhe uma Medalha Real por trazer benefícios públicos em escala global. Em 2008, ele foi eleito Associado Estrangeiro da Academia Nacional de Engenharia por suas contribuições fundamentais, incluindo LCF, ML, CCS e o cálculo π.
Dois prêmios são nomeados em sua homenagem: o Prêmio Milner da Royal Society e o Prêmio Robin Milner para Jovens Pesquisadores da ACM SIGPLAN.
Publicações selecionadas
Milner escreveu vários livros influentes. Sua monografia de 1980 "A Calculus of Communicating Systems" introduziu o CCS. "Communication and Concurrency" (1989) expandiu esse trabalho. Ele coescreveu "The Definition of Standard ML" (1990) com Mads Tofte e Robert Harper, e uma edição revisada em 1997 com David MacQueen. "Communicating and Mobile Systems: the π-Calculus" (1999) detalhou o cálculo π. Seu último livro, "The Space and Motion of Communicating Agents" (2009), apresentou seu trabalho sobre bigrafos.
Legado
A influência de Milner se estende por toda a ciência da computação, da teoria de tipos à concorrência. Suas ideias moldaram a programação funcional moderna e a verificação formal de sistemas. A comunidade de IA, particularmente em áreas como aprendizado de máquina e redes neurais, depende de linguagens de programação e ferramentas que traçam sua linhagem até ML. Seu trabalho sobre concorrência permanece relevante para sistemas distribuídos e computação em nuvem, como visto em plataformas como Amazon Web Services e Google Cloud.
Seu legado é preservado por instituições como MIT CSAIL e Stanford AI Lab, que continuam a avançar as áreas que ele ajudou a estabelecer. A Royal Society e a ACM honram sua memória por meio de prêmios que reconhecem jovens pesquisadores em linguagens de programação e concorrência.