Robin Milner#
| Email: | rm135 'at' cam.ac.uk |
| Membership Number: | 69 |
| Main Country of Residence: | UNITED KINGDOM |
| Section: | INFORMATICS |
| Username: | rmilner |
Important positions during his life
- Milner first worked as a schoolteacher, then as a programmer at Ferranti, before entering academia at City University, London
- He then held positions at Swansea University and Stanford University
- Professor at the University of Edinburgh, 1973
- Co-founder of the Laboratory for Foundations of Computer Science (LFCS)
- He returned to Cambridge as the head of the Computer Laboratory, 1995
- SICSA Advanced Research Fellow and part-time Chair of Computer Science at the University of Edinburgh, 2009
- He died of a heart attack March 20, 2010, three weeks after the death of his wife Lucy
Fields of Scholarship
- programming languages
- program verification
- logic for computable functions
- metalanguages for proof tactics
- calculus of communicating systems
Honours and Awards
- Fellow of the Royal Society, 1988
- Member of Academia Europaea, 1988
- ACM Turing Award, 1991
- Fellow of the ACM, 1994
- Royal Medal of the Royal Society of Edinburgh, 2004
| operated by | 
|