My web pages are now at the University of Aberdeen: http://www.csd.abdn.ac.uk/~mjcollin and http://www.abdn.ac.uk/~csc341/.