He contributed to the Information Processing Language (1956) and two of the earliest AI programs, the Logic Theory Machine (1956) and the General Problem Solver (1957) (with Herbert A. Simon).
Работал в исследовательском центре RAND и Университете Карнеги — Меллон, участвовал в разработке языка программирования IPL и двух самых ранних программ искусственного интеллекта — Logic Theory Machine (1956) и General Problem Solver (1957) (совместно с Гербертом Саймоном).