We explore and develop cyber physical systems - mechanisms controlled or monitored by computer-based processes.
Our research group's work reflects society’s increasing dependence on software for control in systems such as transport, telecoms and avionics.
We work on topics including:
Our computer scientists work on projects with important implications for people and businesses. For example, we've explored how computers can harvest their own energy to avoid the costs that come with mains or battery-powered operations. We have also designed security systems to help increase resistance to cyber attacks on UK businesses.
Our research themes include:
I'm interested in the formal verification and validation of safe and secure cyber physical systems, along with making formal modelling more accessible to industry.
