ハーバート・サイモンと共に開発したInformationProcessingLanguage(1956)や2つの初期のAIプログラムであるLogicTheoryMachine(1956)とGeneralProblemSolver(1957)で知られている。
他是信息处理语言（IPL）发明者之一，并写了该语言最早的两个AI程序，合作开发了逻辑理论家（LogicTheorist1956年）和一般问题解决器GeneralProblemSolver。