Short biography. [Smart Computing]
Short biography with links to many articles on related topics.
Describes some of his latest work on how modal calculi describe several possible worlds at once, instead of just one; photo, examples.
Home page of pioneer in mathematical theory of computation, artificial intelligence, programming languages: invented Lisp, arguably the oldest language in active use today, and maybe the oldest high-level language overall, along with Fortran. (Stanford Univ., USA)
The Association for Computing Machinery gave McCarthy the prestigious Alan M. Turing Award in 1971: For research on artificial intelligence, an area in which he has achieved considerable recognition for his work.