Living large on a LAMP stack ©

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. ©

Android/ java developer ©