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 Digital Futures Institute (DFI) under the School of Computing conducts research on a wide range of topics ranging from Computer Science to Computer Games.
Our main research areas include Artificial Intelligence (AI), Interactive Systems, Formal Methods, Machine Intelligence, Software Engineering, Programming Languages, Algorithmic Game Theory, Computer Games and Animation, and so on. Our research also has strong involvement in Teesside University Grand Challenge themes such as Resilient and Secure Societies, Digital and Creative Economy, Health and Wellbeing, Energy and Environment, Learning for the 21st Century.
The research conducted by the formal methods and programming research team covers a wide range of topics in software engineering and programming languages.
Our areas of work include programming theories and semantics, formal specification and verification, advanced program logics, program analysis and refinement, interactive theorem proving, reversible computing and cyber-physical systems.
The aim and vision of our research is to enable and support the construction of reliable, safe, and secure software systems. For this, we apply mathematically-founded techniques to the specification, modelling, verification and validation of software and systems.
Game Theory aims to mathematically model behaviour in strategic situations, or games, in which an individual's success in making choices depends on the choices of others. Algorithmic Game Theory deals with the complex issues at the intersection of incentives and computation. The principal questions of interest here are:
The answers to these questions require the study of concepts developed by game theorists including mechanism design and stable states (equilibria).
Our Research investigates the use of Artificial Intelligence techniques for New Media and interactive systems. We are more specifically interested in Human-Centred Multimedia, and Human-centred Interfaces.
Our application areas are mostly in Entertainment Computing, with some work in Health Informatics. We are best known for our work in Interactive Storytelling, but we are also active in Multimodal Interfaces and in Document Engineering.
The Machine Intelligence team conducts theoretical and experimental research in the areas of artificial intelligence, machine learning, digital computer games and big data. Within these areas, the group pursues real-world applications to problems in planning, serious games, social networks, recommendation, sentiment analysis, bioinformatics, network and security.
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