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.