Matt Welsh's home page has moved to http://www.eecs.harvard.edu/~mdw.