Artificial Intelligence Pioneer John McCarthy Remembered

LOS ALAMITOS, Calif., 28 October, 2011 – Artificial intelligence pioneer John McCarthy, who proposed Lisp, time-sharing computer systems, and program correctness proofs, and is credited with coining the term "AI," has died. He was 84.
Artificial Intelligence Hall of Fame Recipient John McCarthyMcCarthy, a professor emeritus of computer science at Stanford University and a former professor at Massachusetts Institute of Technology, was also an honoree in IEEE Intelligent Systems' inaugural AI Hall of Fame.
He was described by Stanford University as "a giant in the field of computer science and a seminal figure in the field of artificial intelligence," and is credited by colleagues as helping define the AI field for more than five decades and coining the term "artificial intelligence" at the famous "Dartmouth Conference" in 1955.
Computing Now Associate Editor in Chief Christian Timmerer has created a page to mark the passing of McCarthy, as well as Apple CEO Steve Jobs and computer scientist Dennis Ritchie, inventor of the C programming language.
McCarthy was previously a professor of computer science, the Charles M. Pigott Professor in the School of Engineering, and director of the Artificial Intelligence Laboratory at Stanford University. He held a BS in mathematics from the California Institute of Technology and a PhD in mathematics from Princeton University.
McCarthy founded MIT's AI laboratory (with Marvin Minsky) in 1957 and Stanford's AI laboratory in 1963. In 1958, he proposed the Lisp programming language. He was also one of the first to propose and design time-sharing computer systems, and he pioneered mathematical logic to prove the correctness of computer programs.
McCarthy was the recipient of a Turing Award for Computing Machinery, a National Medal of Science in Mathematics and Computer Science, Benjamin Franklin Medal in Computer and Cognitive Science, the first Research Excellence Award of IJCAI, and the Kyoto Prize of the Inamori Foundation. He was also a member of the American Academy of Arts and Sciences, National Academy of Engineering, and National Academy of Sciences.

About IEEE Computer Society

IEEE Computer Society is the world's leading computing membership organization and the trusted information and career-development source for a global workforce of technology leaders including: professors, researchers, software engineers, IT professionals, employers, and students. The unmatched source for technology information, inspiration, and collaboration, the IEEE Computer Society is the source that computing professionals trust to provide high-quality, state-of-the-art information on an on-demand basis. The Computer Society provides a wide range of forums for top minds to come together, including technical conferences, publications, and a comprehensive digital library, unique training webinarsprofessional training, and the TechLeader Training Partner Program to help organizations increase their staff's technical knowledge and expertise, as well as the personalized information tool myComputer. To find out more about the community for technology leaders, visit