João F. Ferreira

I am a Senior Lecturer (Assistant Professor) in the School of Computing at Teesside University, UK. My research interests are in mathematical methods for program construction and verification. I aim at using formal methods to certify critical systems and to help transfer the resulting scientific knowledge to industry, so that all society can benefit from safer systems.