We have an amazing range of courses and a choice of how you study
Together with business
The place to come for innovative businesses with big ideas and ambitions
Research at Teesside University is organised within five research institutes
Join our alumni family of more than 45,000 living in over 90 different countries.
Teesside University Alumni Association
Principal Lecturer (Research & Innovation),
School of Computing
T: 01642 342654E: firstname.lastname@example.org
Digital Futures Institute
João is a Senior Lecturer in the School of Computing. His research interests are in mathematical methods for program construction and verification. He aims 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.
João finished his PhD in Computer Science at the University of Nottingham in 2010. His thesis was on algorithmic problem solving, an area in which he stills works on. João is a member of the Digital Futures Institute and of the High Assurance Software Laboratory (HASLab – INESC TEC Privileged Partner).
A full list of my publications can be viewed here:
View Joao Ferreira's Publications on TeesRep
There is a wealth of research projects taking place to further knowledge and make an impact on people's lives.
View our projects
Members of Digital Futures Institute are involved in a range of research activities. You can view these in detail on each individual profile.
Meet our members