Joao F. Ferreira

United Kingdom

joaoff.com

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.