He was made a Fellow of the Royal Society and the British Computer Society in 1988 and received the ACM Turing Award in 1991.
He was made a Fellow of the Royal Society. He was made the British Computer Society in 1988. He received the ACM Turing Award in 1991.