I am no longer at the University of Edinburgh.
Please go to my new page at the University of Oxford Computing Laboratory.
