Recibió el Premio Turing de la ACM junto con Herbert Simon en 1975 porque "en un esfuerzo científico de más de veinte años, inicialmente en colaboración con J.