En 1988 fue nombrado miembro de la Royal Society y en 1991 recibió el Premio Turing de la ACM.