I now work at Oracle Labs, Cambridge. My home page is at http://www.timharris.co.uk