John McCarthy is a hero in the field of computer science and an emeritus professor in the Department of Computer Science. He originated the Lisp language between 1956 and 1958 before he came to Stanford in 1962. Around that time, he was also one of the first to propose time-sharing operating systems. In 1963 he started the Stanford Artificial Intelligence Laboratory, where he was director until 1980. He has received accolades for his contributions to computer science, including the 1971 Turing Award and the 2003 Benjamin Franklin Medal.
Undergraduate level digest of McCarthy's papersEdit
John McCarthy has published dozens of papers, many of which have had huge influence in different fields of computer science. It is difficult for young researchers to make sense of the papers; many are very advanced or assume expertise, and many publications are old enough that it is difficult to tell what is still relevant. Here I (Red Daly) attempt to provide an introductory selection of his works for people primarily interested in AI.
Much of McCarthy's work in AI is in formalizing common sense with some form of mathematical logical. In "Mathematical Logic in Artificial Intelligence" he discusses aspects and shortcomings of logic as applied to AI, provides his opinions about the relationship between AI and philosophy, and makes some remarks about his AI research and its history. This paper was also published in his 1990 book, "Formalizing Common Sense."