Research
The exponential growth of computer technology has revolutionised the way we do business, organise our lives and interact socially – but has also brought new and ever-growing challenges in terms of security.
Research themes
We apply formal modelling to create methods and techniques which mitigate the cyber security threats, using a range of approaches to develop solutions that will enable society and industry to benefit from advanced technology in a secure way.