My CV is currently available in PDF, PostScript and DVI formats. The list of references is separate. Some related materials follow.
Intuitionistic Semantics for Hereditarily Harrop Logic Programming: Abstract, DVI, Postscript, Postscript booklet.
In my dissertation, I considered several mathematical models for the programming language lProlog. Casual readers may wish to consider only the introductory chapter on constructive logic and logic programming.
The lectures and some exercises for a course on quality assurance for e-commerce which I taught recently are available here in HTML format.
As the graduate student representative to Wesleyan University's Educational Policy Committee, I helped draft groundbreaking legislation on curricular renewal: Curricular Renewal in the Liberal Arts and Sciences