Our group's research work reflects increasing dependence of the society on hardware and software for control in systems such as transport, finance, telecoms and avionics.
Our computer scientists and electronic engineers research trustworthy intelligent systems that seamlessly integrate the digital and physical worlds.
We work on topics including theoretical foundations, modelling, programming languages, engineering methods, design tools and system engineering applications.
Our research themes include:
- autonomous and intelligent systems - projects include machine learning and its applications
- control theory and system design - includes work in the aerospace industry
- embedded systems - includes research into energy-efficiency
- formal design methods - including theoretical foundation to program semantics and modelling languages