Software & Systems

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.

More about our people and projects