University senior lecturer. Originally a mathematician, now applying areas of mathematics to computer science, including logic, semantics, abstract algebra and topology. Involved with the promotion of computing in schools, especially expanding the range of support activities in the University of Manchester.