Arthur John Robin Gorell Milner (13 de enero de 1934 – 20 de marzo de 2010) fue un informático británico y ganador del Premio Turing de la ACM en 1991. Es ampliamente reconocido por tres contribuciones principales: el desarrollo de la Lógica para Funciones Computables (LCF) y el lenguaje de programación ML, el cálculo de sistemas comunicantes (CCS) y el cálculo π. Su trabajo sentó las bases fundamentales en la demostración automática de teoremas, los sistemas de tipos y el análisis teórico de sistemas concurrentes y móviles.
La investigación de Milner unió la informática teórica y el diseño práctico de lenguajes, influyendo en campos que van desde la programación funcional hasta la computación distribuida. Su trabajo posterior sobre bigrafos buscaba unificar modelos de concurrencia y computación ubicua, aunque quedó incompleto a su muerte.
Vida, educación y carrera
Milner nació en Yealmpton, cerca de Plymouth, Inglaterra, en una familia militar. Obtuvo una Beca del Rey para el Eton College en 1947 y recibió el Premio Tomline, el premio de matemáticas más alto en Eton, en 1952. Tras servir en los Ingenieros Reales como segundo teniente, se matriculó en el King's College de Cambridge, graduándose en 1957.
Su carrera temprana incluyó trabajo como maestro de escuela y luego como programador en Ferranti. Entró en el ámbito académico en la City University de Londres, seguido de puestos en la Universidad de Swansea y la Universidad de Stanford. En 1973, se unió a la Universidad de Edimburgo, donde cofundó el Laboratorio de Fundamentos de la Informática (LFCS). En 1995, regresó a Cambridge como director del Laboratorio de Computación, un papel del que finalmente se retiró, aunque permaneció activo allí. Desde 2009, fue Investigador Avanzado de la Alianza Escocesa de Informática y Ciencias de la Computación y ocupó una cátedra a tiempo parcial en informática en la Universidad de Edimburgo.
Milner falleció de un ataque al corazón el 20 de marzo de 2010 en Cambridge. Su esposa, Lucy, murió poco antes que él.
Contribuciones a los lenguajes de programación
El trabajo de Milner en LCF, una de las primeras herramientas de demostración automática de teoremas, condujo a la creación de ML. Este lenguaje introdujo la inferencia de tipos polimórfica, utilizando el algoritmo W, y el manejo de excepciones con seguridad de tipos. ML fue el primer lenguaje con un sistema de tipos inferido automáticamente, una característica que se volvió influyente en lenguajes como Haskell y OCaml. A Milner también se le atribuye el redescubrimiento del sistema de tipos Hindley-Milner, que sustenta el tipado polimórfico.
Sus marcos teóricos para la concurrencia incluyen el cálculo de sistemas comunicantes (CCS), desarrollado a finales de la década de 1970, y su sucesor, el cálculo π, introducido a principios de la década de 1990. CCS modela procesos como agentes que interactúan, mientras que el cálculo π extiende esto para permitir canales de comunicación móviles. Estos formalismos se convirtieron en pilares en el estudio de sistemas concurrentes y distribuidos.
En el momento de su muerte, Milner trabajaba en bigrafos, un formalismo destinado a subsumir CCS y el cálculo π para la computación ubicua. Este trabajo buscaba modelar tanto los aspectos espaciales como temporales de los agentes que interactúan.
Honores y premios
Milner recibió numerosos reconocimientos. Fue nombrado Miembro de la Royal Society y Miembro Distinguido de la British Computer Society en 1988. En 1991, recibió el Premio Turing de la ACM. Fue incorporado como Miembro de la ACM en 1994. En 2004, la Royal Society de Edimburgo le otorgó una Medalla Real por generar beneficios públicos a escala global. En 2008, fue elegido Asociado Extranjero de la Academia Nacional de Ingeniería por sus contribuciones fundamentales, incluyendo LCF, ML, CCS y el cálculo π.
Dos premios llevan su nombre: el Premio Milner de la Royal Society y el Premio Robin Milner a Jóvenes Investigadores de ACM SIGPLAN.
Publicaciones seleccionadas
Milner escribió varios libros influyentes. Su monografía de 1980 "Un cálculo de sistemas comunicantes" introdujo CCS. "Comunicación y concurrencia" (1989) amplió este trabajo. Coescribió "La definición de ML estándar" (1990) con Mads Tofte y Robert Harper, y una edición revisada en 1997 con David MacQueen. "Sistemas comunicantes y móviles: el cálculo π" (1999) detalló el cálculo π. Su último libro, "El espacio y el movimiento de los agentes comunicantes" (2009), presentó su trabajo sobre bigrafos.
Legado
La influencia de Milner se extiende a través de la informática, desde la teoría de tipos hasta la concurrencia. Sus ideas dieron forma a la programación funcional moderna y a la verificación formal de sistemas. La comunidad de inteligencia artificial, particularmente en áreas como aprendizaje automático y redes neuronales, depende de lenguajes de programación y herramientas que trazan su linaje hasta ML. Su trabajo sobre concurrencia sigue siendo relevante para los sistemas distribuidos y la computación en la nube, como se observa en plataformas como Amazon Web Services y Google Cloud.
Su legado se preserva a través de instituciones como MIT CSAIL y Laboratorio de IA de Stanford, que continúan avanzando en los campos que ayudó a establecer. La Royal Society y la ACM honran su memoria mediante premios que reconocen a jóvenes investigadores en lenguajes de programación y concurrencia.