I have moved to the University of California, Santa Barbara. Redirecting to http://www.cs.ucsb.edu/~benh/.