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.
Q&A for professional and enthusiast programmers
Q&A for users of TeX, LaTeX, ConTeXt, and related typesetting systems
Q&A for linguists, etymologists, and serious English language enthusiasts
Q&A for professional mathematicians