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.
Ai ishte përgjegjës për termin fillestar "Intelegjenca artifiviale (Artificial Intelligence)" në propozimin e 1955 të tij për Konferencën e vitit 1956 Dartmouth Conference dhe është shpikësi i gjuhës programimit Lisp.