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 membership organization for professionals in all aspects of modern computing – from cloud to big data, security to mobile, robotics to software defined systems, wearables to IoT. A true community for technology leaders, Computer Society provides resources to keep its members current in technology and moving forward in their professions – publications, a renowned digital library, a vast program of conferences, technical committees, and much more. The Computer Society also serves the profession at large through establishment of standards, professional qualifications and certifications, training and education programs, events on leading-edge technologies, conference publishing, and a wealth of other services and programs focused on advancing the science and art of computing. More information on IEEE Computer Society can be found at