I have moved to the Department of Computer Science at Queen Mary, University of London, where I have a new home page.