He received his doctorate in computer science in 1984 from Cornell, and has been using lisp for three decades. His interests include algorithms, compilers, and software testing.