I am now at Princeton University - my new home page is at http://www.cs.princeton.edu/~smr/