Hi, this is Derek Dreyer's old web page.
I have moved to the Max
Planck Institute for Software Systems (MPI-SWS).
You will be
taken to my new web page automatically in 10 seconds.
If your browser
does not support automatic forwarding, please go to http://www.mpi-sws.org/~dreyer.