Manchester 1957 - 1989 B.Sc., First Class Honours, University of Manchester, 1960. Ph. D., University of Manchester, 1963. Fulbright Scholar 1963 Instructor, Cornell University, Ithaca, New York 1963 - 64. Member, Institute for Advanced Study, Princeton, New Jersey, 1964 - 65. Lecturer/Senior Lecturer/Reader University of Manchester 1965 - 78. Professor of Mathematical Logic, University of Manchester 1978 - 89. Chairman, Department of Mathematics, University of Manchester 1984 - 86. Visiting Associate Professor UCLA 1967; University of Colorado, Boulder 1971-2. Invited Speaker International Congress of Mathematicians, Vancouver 1974 and British Mathematical Colloquium 1976 Editor Journal of Symbolic Logic 1972 - 1977. Early retirement 1989   1989 - 1993 Leeds Helped to set up a computer lab in the Faculty of Information and Engineering Systems at what is now Leeds Metropolitan University. This lab won an award from the Esmee Fairbairn Foundation in 1991. 1993 - 2002 Mathwise Created two modules for this Government funded consortium, and converted three other modules to cross-platform modules. 1994 - 1999 Liverpool Had the great privilege of working with the late Roy Stringer and his team first at the Learning Methods Unit, Liverpool John Moores University, then at Amaze Ltd. See Liverpool page. 1995 - 2001 Collected Works of A.M.Turing I took over the editing of the fourth and final volume of the Collected Works of A. M. Turing on the death of Robin Gandy in November 1995. It was published by Elsevier in 2001 1999 - 2004 Bangor Developed a CD Rom entitled Raising Public Awareness of Mathematics for the Centre for the Popularisation of Mathematics. This was produced in 2000 and revised in 2001 Recently also revised the Centre's web site, www.popmath.org.uk