My homepage is moved to:
<a href="http://cs.wisc.edu/~krobin">http://cs.wisc.edu/~krobin</a>