Research any topic before you write.

Find related topics. | Discover entities. | See connections. | Build a topical map.

Robin Milner

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

Works, Career, Art & Science

Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.

Research this topic

Explore the main themes, entities and connections around Robin Milner. Start with the topic map, then use the sections below for research and deeper semantic analysis.

Explore this topic

Start with a few of the strongest sections from the source topic. These are research directions, not a list of keywords you must use.

Key facts & relationships

High-confidence facts extracted from structured source data. Use them as anchors for further research.

Known for
Theory of Computer Science · LCF · ML · Calculus of communicating systems · π-calculus
Education
King's College, Cambridge (BA)
Born
Arthur John Robin Gorell Milner (1934-01-13)13 January 1934 Yealmpton, Plymouth, England
Died
20 March 2010(2010-03-20) (aged 76) Cambridge, England
Doctoral students
Mads Tofte (1988) Faron Moller Chris Tofts Davide Sangiorgi (1993)
Fields
Computer science

Topics to explore

Browse the full topic structure. Each item opens a new analysis centered on that subject.

Overview

Life, education and career

Contributions

Honours and awards

Selected publications

Advanced semantic analysis

Deeper signals for content research, entity SEO and topical coverage. The plain-language headings explain what each technical view is useful for.

Map overview Semantic statistics

Robin Milner

Nodes57
Edges56
Triples84
Avg. degree1.96
Density0.035088
Components1

How this topic connects Entity context

See the strongest relationship patterns around the current topic before diving into the raw triples.

Robin Milner

Top relations

related to Selected publications · 27
Robin Milner → Calculus, Cambridge University Press, Communicating Agents, Communicating Systems, Computer Science, Concurrency, David MacQueen, DBLP, Definition, ISBN, LNCS, Lock-gray-alt-2, Lock-green, Lock-red-alt-2, Mads Tofte, MIT Press, Mobile Systems, Motion, Prentice Hall International Series, Publications
related to Honours and awards · 21
Robin Milner → ACM, ACM SIGPLAN Robin Milner, ACM Turing Award, Award, British Computer Society, CCS, Distinguished Fellow, Edinburgh, Engineering, Fellow, Foreign Associate, He, In, LCF, Milner, ML, National Academy, Royal Medal, Royal Society, The Royal Society Milner
related to Further reading · 18
Robin Milner → An, Biography, Colin Stirling, Edinburgh, Essays, Gordon Plotkin, Honour, Interaction, ISBN, January, Language, Mads Tofte, Outstanding Achievement, Proof, Robin MilnerA Brief Scientific, Royal Gold Medals, The MIT Press, The Royal Society
Workplaces · 7
Robin Milner → Aarhus University, City University, London, Ferranti, Stanford University, Swansea University, University of Cambridge, University of Edinburgh
Known for · 6
Robin Milner → Calculus of communicating systems, Hindley–Milner type inference, LCF, ML, Theory of Computer Science, π-calculus
Born · 1
Robin Milner → Arthur John Robin Gorell Milner (1934-01-13)13 January 1934 Yealmpton, Plymouth, England
Died · 1
Robin Milner → 20 March 2010(2010-03-20) (aged 76) Cambridge, England
Doctoral students · 1
Robin Milner → Mads Tofte (1988) Faron Moller Chris Tofts Davide Sangiorgi (1993)
Education · 1
Robin Milner → King's College, Cambridge (BA)
Fields · 1
Robin Milner → Computer science

Important terminology Word statistics

Use these terms to understand the vocabulary surrounding the topic, not as a checklist for keyword stuffing.

Important terminology

milner robin computer isbn cambridge science press ml π-calculus university acm communicating edinburgh royal lcf systems mads tofte society 2010

Entity relationships Subject–Predicate–Object triples

SubjectPredicateObjectConfidenceSrc
Robin MilnerBornArthur John Robin Gorell Milner (1934-01-13)13 January 1934 Yealmpton, Plymouth, England1.00infobox
Robin MilnerDied20 March 2010(2010-03-20) (aged 76) Cambridge, England1.00infobox
Robin MilnerDoctoral studentsMads Tofte (1988) Faron Moller Chris Tofts Davide Sangiorgi (1993)1.00infobox
Robin MilnerEducationKing's College, Cambridge (BA)1.00infobox
Robin MilnerFieldsComputer science1.00infobox
Robin MilnerKnown forTheory of Computer Science1.00infobox
Robin MilnerKnown forLCF1.00infobox
Robin MilnerKnown forML1.00infobox
Robin MilnerKnown forCalculus of communicating systems1.00infobox
Robin MilnerKnown forπ-calculus1.00infobox
Robin MilnerKnown forHindley–Milner type inference1.00infobox
Robin MilnerWorkplacesFerranti1.00infobox
Robin MilnerWorkplacesCity University, London1.00infobox
Robin MilnerWorkplacesSwansea University1.00infobox
Robin MilnerWorkplacesStanford University1.00infobox
Robin MilnerWorkplacesUniversity of Edinburgh1.00infobox
Robin MilnerWorkplacesUniversity of Cambridge1.00infobox
Robin MilnerWorkplacesAarhus University1.00infobox

Related concept clusters Concept neighborhoods

These clusters group vocabulary that occurs around closely connected concepts in the source material.

    Connections between topic areas Semantic bridges

    Bridges can reveal useful research angles that are easy to miss in a flat list of related terms.

    Min side: 3
    For writers, content strategists, SEOs, marketers and creators — from quick topic research to advanced semantic analysis.