Lecturer in Computer Science working at Teesside University, in England. My research is on mathematical approaches to software quality. I am particularly interested in program construction and verification.