Statements (37)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
computer scientist
|
| gptkbp:almaMater |
gptkb:University_of_Cambridge
|
| gptkbp:awards |
ACM Fellow
Turing Award Fellow_of_the_Royal_Society |
| gptkbp:birthDate |
1934-01-13
|
| gptkbp:contribution |
theoretical computer science
computer science education concurrent programming educational technology program verification software engineering program analysis lambda calculus programming paradigms abstract interpretation type systems formal methods software development methodologies proof assistants functional programming languages operational semantics research in computer science programming language design |
| gptkbp:deathDate |
2010-03-20
|
| gptkbp:field |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Robin Milner
|
| gptkbp:influenced |
functional programming
type theory |
| gptkbp:knownFor |
gptkb:LCF_theorem_prover
ML programming language pi calculus |
| gptkbp:nationality |
British
|
| gptkbp:work |
gptkb:University_of_Cambridge
gptkb:University_of_Edinburgh gptkb:University_of_Sussex gptkb:Microsoft_Research |