You can find out a little more about him at the NYU Courant Bioiformatics Group site.
Some Common Lisp things he did include some code in the CLOCC, maintaining MK-DEFSYSTEM and ILISP, and, more recently CL UNIFICATION.
This page is linked from: Changes In Winter 2000-2001 CL Unification Proposed Extensions To ANSI
CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively