This project will explore the theories of complex evolving systems. We will then implement prototype software tools for formal verification, synthesis and analysis.
Find out more about Platform: Trustworthy Ambient Systems: Resource Constrained Ambience (TrAmS).
Find out more about composing structures and behaviours: A new approach to system design.
Exploring commercialisation of microphotonic arrays arising from the OptoNeuro EU project.
Asynchronous design methods are traditionally focused on digital systems. We are exploring their application to the analogue world.
Find out more about towards cloud build systems with dynamic dependency graphs.
Developing a layered approach to ambient systems and the internet of things.
Find out more about Royal Academy of Engineering visiting professorship for Dr Sid Das (ARM).
Embedded computing systems are powerful tools for tackling global economic and societal challenges. Many of these are low-power mobile devices. Continuing advances in microprocessor and embedded system design are key to delivering this.
Data is driving the fourth Industrial Revolution. The Information Age combines technological innovation with the affordability of electronic systems.
POETS is a significantly different way of approaching large, computer intensive problems.
Using genetically altered cells to control abnormal brain activity in epilepsy.
