Robin Milner English scientist in the field of computer systems theory. Date of Birth: 13.01.1934 Country: Great Britain

Biography of Robin Milner

Robin Milner was an English scientist in the field of theoretical computer systems. He was born in Plymouth in a military family. In 1947, he attended Eton College and then served in the Royal Engineers for two years, reaching the rank of Second Lieutenant. Milner then enrolled in King's College, Cambridge, where he graduated in 1957.

After college, Milner worked as a high school mathematics teacher for a year and then spent three years as a programmer at Ferranti. He later joined various institutions, working at the City University of London, University of Swansea, Stanford University, and finally the University of Edinburgh from 1973. It was at Edinburgh where he became one of the founders of the Laboratory for Foundations of Computer Science (LFCS). In 1995, Milner returned to Cambridge and became the head of the Computer Science Department until his retirement in 1999.

In September 2010, Milner was ranked 25th in the list of most cited authors in the CiteSeer project. Throughout his career, he received numerous honors and awards, including being an honorary member of the Royal Society in 1988, the Turing Award in 1991 for his work on LCF, ML, and CCS, membership in the Association for Computing Machinery in 1994, and the Royal Medal from the Royal Society of Edinburgh in 2004.

Milner's significant contributions to the field of computer science include the development of the LCF (Logic for Computable Functions) theorem proving system, which led to the creation of the functional programming language ML. He also developed the calculus of communicating systems (CCS), a theoretical framework for analyzing interacting systems, and its extension, the pi-calculus. Milner is the recipient of nine honorary doctorates from various universities. He is married and has two children.