I am the founder of the computer science program at Bard College and the Director of the Laboratory for Algebraic and Symbolic Computation within the Reem Kayden Center for Science and Computation.
I am interested in the role of language in computing from a deductive perspective. My Ph.D. dissertation was in the area of programming language semantics. Since that time I have developed broader interests in the general problem of the expressiveness of languages for computing.
- Databases and the Semantic Web
- The Constraint Satisfaction Problem
- Finite Model Theory
- Logic and Logic Programming
- Ph.D. Logic in Computer Science, Wesleyan University, 1999
- M.A. Mathematics, Boston College, 1992
- B.A. Mathematics and History, Saint Joseph's College (Maine), 1990
- Toward an Ontology for Finite Algebras
- Toward an Online Database for Knots and Quandles
- Tricolorable Torus Knots are NP-Complete
- The Class of Constraint Satisfaction Problems Over a Knot
- Knots and the Constraint Satisfaction Problem