Robin Milner

Robin Milner (1934-2010) was a British computer scientist known for his work in the field of theoretical computer science, particularly in the area of programming languages and formal methods. He developed the Calculus of Communicating Systems (CCS) and the programming language ML. Milner's contributions have advanced the field of formal methods and programming language design.

LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.

Arthur John Robin Gorell Milner was a British computer scientist, and he won the 1991 ACM Turing Award.

• Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010) was a British computer scientist, and he won the 1991 ACM Turing Award.