Age, Biography and Wiki

Robin Milner (Arthur John Robin Gorell Milner) was born on 13 January, 1934 in Yealmpton, Plymouth, England, is a British computer scientist (1934–2010). Discover Robin Milner's Biography, Age, Height, Physical Stats, Dating/Affairs, Family and career updates. Learn How rich is he in this year and how he spends money? Also learn how he earned most of networth at the age of 76 years old?

Popular As Arthur John Robin Gorell Milner
Occupation N/A
Age 76 years old
Zodiac Sign Capricorn
Born 13 January, 1934
Birthday 13 January
Birthplace Yealmpton, Plymouth, England
Date of death 2010
Died Place Cambridge, England
Nationality

We recommend you to check the complete list of Famous People born on 13 January. He is a member of famous Computer with the age 76 years old group.

Robin Milner Height, Weight & Measurements

At 76 years old, Robin Milner height not available right now. We will update Robin Milner's Height, weight, Body Measurements, Eye Color, Hair Color, Shoe & Dress size soon as possible.

Physical Status
Height Not Available
Weight Not Available
Body Measurements Not Available
Eye Color Not Available
Hair Color Not Available

Dating & Relationship status

He is currently single. He is not dating anyone. We don't have much information about He's past relationship and any previous engaged. According to our Database, He has no children.

Family
Parents Not Available
Wife Not Available
Sibling Not Available
Children Not Available

Robin Milner Net Worth

His net worth has been growing significantly in 2023-2024. So, how much is Robin Milner worth at the age of 76 years old? Robin Milner’s income source is mostly from being a successful Computer. He is from . We have estimated Robin Milner's net worth, money, salary, income, and assets.

Net Worth in 2024 $1 Million - $5 Million
Salary in 2024 Under Review
Net Worth in 2023 Pending
Salary in 2023 Under Review
House Not Available
Cars Not Available
Source of Income Computer

Robin Milner Social Network

Instagram
Linkedin
Twitter
Facebook
Wikipedia
Imdb

Timeline

1934

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

Milner was born in Yealmpton, near Plymouth, England into a military family.

1947

He gained a King's Scholarship to Eton College in 1947, and was awarded the Tomline Prize (the highest prize in Mathematics at Eton) in 1952.

Subsequently, he served in the Royal Engineers, attaining the rank of Second Lieutenant.

1957

He then enrolled at King's College, Cambridge, graduating in 1957.

1973

Milner first worked as a schoolteacher then as a programmer at Ferranti, before entering academia at City University, London, then Swansea University, Stanford University, and from 1973 at the University of Edinburgh, where he was a co-founder of the Laboratory for Foundations of Computer Science (LFCS).

1988

He was made a Fellow of the Royal Society and a Distinguished Fellow of the British Computer Society in 1988.

1991

Milner received the ACM Turing Award in 1991.

1994

In 1994 he was inducted as a Fellow of the ACM.

1995

He returned to Cambridge as the head of the Computer Laboratory in 1995 from which he eventually stepped down, although he was still at the laboratory.

2004

In 2004, the Royal Society of Edinburgh awarded Milner with a Royal Medal for his "bringing about public benefits on a global scale".

2008

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."

The Royal Society Milner Award

and the ACM SIGPLAN Robin Milner Young Researcher Award are both named after him.

See also: Publications by Robin Milner in DBLP

2009

From 2009, Milner was a Scottish Informatics & Computer Science Alliance Advanced Research Fellow and held (part-time) the Chair of Computer Science at the University of Edinburgh.

2010

Milner died of a heart attack on 20 March 2010 in Cambridge.

His wife, Lucy, died shortly before he did.

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.

The language he developed for LCF, ML, was the first language with polymorphic type inference and type-safe exception handling.

In a very different area, Milner also developed a theoretical framework for analyzing concurrent systems, the calculus of communicating systems (CCS), and its successor, the -calculus.

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

He is also credited for rediscovering the Hindley–Milner type system.