David Mathias' homepage has moved to:
www.cs.uwlax.edu/~dmathias