En reconocimiento a sus aportaciones al campo de la computación se le otorgó el primer Premio Turing de la historia en el año de 1966.