Wilkes recibió el Premio Turing en 1967, con el siguiente comentario: