My page has moved to
http://www.cs.umn.edu/~jkrasky/my_home_page