Matematico e informatico statunitense (Boston 1927 - Stanford 2011). Prof. di computer science al Massachusetts institute of technology (1958-1961) e dal 1962 alla Stanford University (emerito dal 2001), in cui ha diretto uno dei più importanti laboratorî di intelligenza artificiale. A lui si devono le prime ricerche sull'intelligenza artificiale, di cui è considerato uno dei principali fondatori, e importanti contributi alla robotica. Ideatore del linguaggio di programmazione LISP, che ha favorito lo sviluppo del calcolo simbolico, nel 1988 ha ricevuto per i numerosi meriti il prestigioso premio Kyoto.