Contribuyó al lenguaje de procesamiento de información (IPL) (1956) y a dos de los primeros programas de inteligencia artificial, la máquina de lógica teórica (1956) y el resolutor general de problemas (1957), con Herbert Simon.