I've moved to INRIA, Nancy, France. My new homepage is at http://www.loria.fr/~hoffmanj/