Research
Current research areas
We are active in a broad range of research areas, including energy aware computing, innovative hardware design, test generation and verification & validation. The uniting theme underpinning all these areas is our curiosity and drive towards design, verification and analysis techniques for trustworthy systems.
PhD Opportunities
We are currently accepting applications for PhDs. Please see our PhD Opportunities page for more information.
Past research projects and initiatives
-
ENTRA
Whole Systems Energy Transparency
- ICT Energy
-
EACO
The Energy Aware COmputing Initiative
-
RIVERAS
Trustworthy Robotic Assistants Robust Integrated Verification of Robotic and Autonomous Systems
-
ROBOSAFE
Trustworthy Robotic Assistants
-
STAARs
Safe and Trustworthy Autonomous Assistive Robots
IHGC
We are working on a design for an Integrated Hardware Garbage Collector that will improve the reliability, security, performance and energy efficiency of current processors. An initial study into the feasibility of the design has concluded that it is viable for both research and commercial embedded and real-time systems.