Recibió el galardón más prestigioso de las ciencias de la computación, el premio Turing de la ACM junto a Raj Reddy en 1993 "Por ser pionero en el diseño y construcción de sistemas de inteligencia artificial a gran escala, demostrando la importancia práctica y el potencial impacto comercial de la tecnología de la inteligencia artificial".