| RefNo | EC/1988/22 |
| Previous numbers | Cert XXII, 119 |
| Level | Item |
| Title | Milner, Arthur John Robin Gorell: certificate of election to the Royal Society |
| Date | 1985 |
| Description | Citation typed |
| Citation | Distinguished for his many discoveries of practical significance in theoretical Computer Science. He gave the original definitive articulation of the concept of full abstraction in programming language semantics; his investigation of data abstraction morphisms are invaluable for proof that a program meets its specification. He designed a computer implementation for his Logic of Computable Functions, and the metalanguage ML for supporting machine-checked proofs. He propounded an algebraic model of concurrent computation, known as the Calculus of Communicating Systems. His work is characterised by early recognition and concentration on central issues; and he has in four areas laid the foundations which have enabled others to refine and extend their theories, and to put them into practice. |
| AccessStatus | Closed |
Fellows associated with this archive
| Code | PersonName | Dates |
| NA4597 | Milner; Arthur John Robin Gorell (1934 - 2010); computer scientist | 1934 - 2010 |