Research project finder
By collaborating across different disciplines and subjects, our university researchers are taking on new projects to solve challenges in the modern world.
-
Intelligent Agents for Home Energy Management
Status: Not active -
Linear-Time Temporal Logics for Continuous Space Probabilistic Systems
Status: Not activeLead researchers: Corina Cirstea -
Consequencer
Status: Not active -
Amorphous computation
Status: Not active -
Variation-Aware Test for Nanoscale CMOS Integrated Circuits
Status: Not active -
ESBMC for Timed LTL
Status: Not active -
Resilient and Testble Energy-Efficient Digital Hardware
Status: Not active -
PRiME: Power-efficient, Reliable, Many-Core Embedded systems
Status: Not active -
Support for the 11th european test symposium (ETS conference in southampton
Status: Not active -
Customization and Adaptation of Automatically Generated Code
Status: Not active