He received an Honorary Doctorate in Computer Science from the University of Bologna, Italy; includes text of his brief lecture: 'Putting Telecommunications on the Technology Curve'.

His page at Microsoft Research. Many useful papers, links, including a list of all of his projects.

Chronological list, 2000-1967.

Colloquium announcement, with very good chronological publications list 1965-1996.

Principle table and slogan outline explanation.

University of Edinburgh, summaries of: Computer Security in the Real World (Milner lecture); Computer Systems Research: Past and Future; How to Build a Highly Available System without a Toolkit.

Membership directory page.