天发娱乐棋牌_天发娱乐APP-官网|下载 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.
天发娱乐棋牌_天发娱乐APP-官网|下载 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.??
天发娱乐棋牌_天发娱乐APP-官网|下载 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