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. (Stanfor...

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.

Short biography. [Smart Computing]