Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner.

[12] Milner is generally regarded as having made three major contributions to computer science.

He developed Logic for Computable Functions (LCF), one of the first tools for automated theorem proving.

At the time of his death, he was working on bigraphs, a formalism for ubiquitous computing subsuming CCS and the π-calculus.

In 2008, he was elected a Foreign Associate of the National Academy of Engineering for "fundamental contributions to computer science, including the development of LCF, ML, CCS, and the π-calculus.