John McCarthy

For his fundamental contributions to computer science and artificial intelligence, including the development of the LISP programming language; the mathematical theory of computation; the concept and development of time-sharing; the application of mathematical logic to computer programs that use commonsense knowledge and reasoning; and the naming and thus the definition of the field of artificial intelligence itself.