Arthur John Robin Gorell Milner was a British computer scientist who lived from 1934 to 2010, and he won the 1991 ACM Turing Award.
Facts
Notable WorkLogic for Computable Functions (LCF), ML, CCS and the pi-calculus 2 BirthplaceYealmpton, Plymouth, England 2 Field
Field (category) Field (category) Connections
Member Of
Source Robin Milner, Wikipedia
Source Robin Milner, Wikipedia
Works In
Source Robin Milner, Wikipedia
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Source Robin Milner (Wikidata)
Sources
1. Robin Milner (Wikidata)
P570 (date of death): year
+2010-03-20T00:00:00Z
P27 (country of citizenship): United Kingdom
Q145
View the Source2. Robin Milner, Wikipedia
Infobox, Born (date)
13 January 1934
Infobox, Born (place)
Yealmpton, Plymouth, England
Infobox, Died (date)
20 March 2010
Infobox, Died (place)
Cambridge, England
Contributions section
He developed Logic for Computable Functions (LCF), one of the first tools for automated theorem proving.
Works In: Computer Science, Lead sentence
Arthur John Robin Gorell Milner (13 January 1934-20 March 2010) was a British computer scientist, and he won the 1991 ACM Turing Award.
Member Of: Royal Society, Article text
He was made a Fellow of the Royal Society and a Distinguished Fellow of the Briti
Member Of: Association for Computing Machinery, Categories
Category:Fellows of the Association for Computing Machinery
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.