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.
Ήταν υπεύθυνος για την επινόηση του ίδιου του όρου «τεχνητή νοημοσύνη» στη Διάσκεψη του Ντάρτμουθ το 1956 και εφευρέτης της γλώσσας προγραμματισμού Lisp.