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 to robotics and transportation
control theory and system design - includes robust, non-linear and adaptive control with applications in the aerospace industry
embedded systems - includes research into energy-efficiency, edge computing and internet-of-things
formal design methods - including theoretical foundations to program semantics and modelling languages for safety and security
computer engineering – including hardware/software co-design, next-generation high-performance compute systems
programming languages – including enhancing software robustness to give guarantees about programs, verification of systems with machine learning components
logic and verification – including automated theorem proving, applied category theory and foundations of logic in formal methods
