Mike Eisenberg's home page is at
http://www.cs.colorado.edu/~duck/
please reset your bookmark!