Professor
John McCarthy
Ph.D.
|
|
---|---|
John McCarthy at a conference in 2006
|
|
Born | September 4, 1927 Boston, Massachusetts, U.S.
|
Died | October 24, 2011 (aged 84) Stanford, California, U.S.
|
Alma mater | Princeton University, California Institute of Technology |
Known for | Artificial intelligence, Lisp, circumscription, situation calculus |
Awards | Turing Award (1971) Computer Pioneer Award (1985) IJCAI Award for Research Excellence (1985) Kyoto Prize (1988) National Medal of Science (1990) Benjamin Franklin Medal (2003) |
Scientific career | |
Fields | Computer science |
Institutions | Stanford University, Massachusetts Institute of Technology, Dartmouth College, Princeton University |
Doctoral advisor | Solomon Lefschetz |
Doctoral students | Ruzena Bajcsy Ramanathan V. Guha Barbara Liskov Raj Reddy |
John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist. McCarthy was one of the founders of the discipline of artificial intelligence. He coined the term "artificial intelligence" (AI), developed the Lisp programming language family, significantly influenced the design of the ALGOL programming language, popularized time-sharing, invented garbage collection, and was very influential in the early development of AI.
McCarthy spent most of his career at Stanford University. He received many accolades and honors, such as the 1971 Turing Award for his contributions to the topic of AI, the United States National Medal of Science, and the Kyoto Prize.
- Artificial Intelligence, Logic and Formalizing Common Sense
- The Common Business Communication Language
- Defending AI Research
- Elephant 2000: A Programming Language Based on Speech Acts
- LISP − notes on its past and future − 1980
- Programs with Common Sense
- Correctness of a Compiler for Arithmetic Expressions
- Networks Considered Harmful − For Electronic Mail
- Criteria for Usefulness of Computers in Offices
- Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
- Towards a Mathematical Science of Computation
- Concepts of Logical AI