Science Atlas

How We Know What We Know
Sign In
Text size
100%
Theme

Switch Atlas

Scientist

Robin Milner

Computer Science

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
Birth Year
1934 1
Birth Date
1934-01-13 2
Death Date
2010-03-20 2
Death Year
2010 1
Death Place
Cambridge, England 2
Nationality
United Kingdom 1
Notable Work
Logic for Computable Functions (LCF), ML, CCS and the pi-calculus 2
Birthplace
Yealmpton, Plymouth, England 2
Field
Field (category)
Computer Science 1
Field (category)
Engineering 1
In the Other Atlases
Sources
1. Robin Milner (Wikidata)
  • P570 (date of death): year
    +2010-03-20T00:00:00Z
  • P27 (country of citizenship): United Kingdom
    Q145
View the Source
2. 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.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.