Fue galardonado con el Premio ACM Turing, junto con Allen Newell, en 1975.