Collaborative Moral Problem Solving - Development of a course on professional ethics that emphasizes collaboration between professionals from different disciplines.

Mallard - A World Wide Web based interactive learning environment suitable for virtually any subject, currently in use at a number of educational institutions across the United States.

Multivariate Polynomial Matrix Factorization over the Integers - Matrices of determinant 1 and 3x3 or larger with entries from a multivariate polynomial ring over a field are known to factor into a product of elementary matrices.  We present an algorithm that works when the polynomials' coefficients come from the integers or the integers with powers of 2 for denominators.

PermaStore - A Java-based storage manager for stateless programming environments, such as the CGI for the World Wide Web. Makes coding more efficient and offers a high-performance migration path from existing Perl scripts to more advanced server- and even client-side Java.

Theory of Program Checking and Fault-Tolerant Software - Combining traditional fault-tolerance techniques with program checking to produce new methods for improving the reliability of software.