In July 2012, I moved to the Max Planck Institute for Software Systems.
Please visit my new home page: http://www.mpi-sws.org/~swasey/.
(Your browser may take you there in five seconds.)