The President's National Medal of Science: Recipient Details
Professor of Computer Science and Charles M. Pigott Professor, School of Engineering
Stanford,California 94305 USA
Mathematics and Computer Science
"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."
Presented by President Bush at a White House East Room Ceremony on November 13, 1990.