Como un tributo a su trabajo, en 1983 ganó el premio de la Sociedad Americana de Matemática por su famososo teorema de la automatización.