Since May 2006, I have been spending time at Max Planck Institute for Software Systems (MPI-SWS). Please access my new webpage HERE.