Robin Milner#
| Sadly, this member passed away. | |
| Membership Number: | 69 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 1988 |
| Main Country of Residence: | UNITED KINGDOM |
Robin Milner passed away March 20, 2010.
Positions Held
- 2009 Scottish Informatics & Computer Science Alliance Advanced Research Fellow and (part-time) Chair of Computer Science at the University of Edinburgh
- 1995 Head of the Computer Laboratory, University of Cambridge
- 2009 SICSA Advanced Research Fellow and part-time Chair of Computer Science at the University of Edinburgh
Fields of Scholarship
- Programming languages
- Program verification
- Logic for computable functions
- Metalanguages for proof tactics
- Calculus of communicating systems
Honours and Awards
- 1988 Fellow of the Royal Society
- 1988 Member of Academia Europaea
- 1991 ACM Turing Award
- 1994 Fellow of the ACM
- 2004 Royal Medal of the Royal Society of Edinburgh
