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 Un