He was responsible for the coining of the term "Artificial Intelligence" in his 1955 proposal for the 1956 Dartmouth Conference and was the inventor of the Lisp programming language.
El este cel care a propus termenul de inteligență artificială la conferința de la Dartmouth din 1956 și a inventat limbajul de programare LISP.