Recibió el Premio Turing por su trabajo en 2001, un año antes de fallecer.