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
The research within the Software and Systems Research Group covers a wide range of topics in Computer Science. Our areas of work include programming theories and semantics, formal specification and verification, specialised/advanced program logics, program analysis and refinement, interactive theorem proving, reversible computing, internet of things and cyber-physical systems.
The aim and vision of our research is to enable and support the construction of reliable, safe, and secure software and systems. For this, we apply mathematically-founded techniques to the specification, modelling, verification and validation of software and systems. We are also keen to work closely with industrial partners to support the design and implementation of intelligent and reliable software and systems via knowledge transfer partnerships or consultancy. Our research also has strong connection and involvement with Teesside University Grand Challenge themes such as Resilient and Secure Societies, Digital and Creative Economy.
Our group can be linked to research groups/centres in other schools, such as the Healthcare Innovation Centre (SoHSC), Smart Energy Systems Research Group (SSED), and Centre of Crime, Harm Prevention and Security (SSSHL).
Recent research within the group includes:
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 Computing research are involved in a range of research activities. You can view these in detail on each individual profile.
Meet our members