Recibió el Premio Turing en 1972.