Dave Touretzky's home page is not located on this server.

You will find it at http://www.cs.cmu.edu/~dst