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.
-
IDEAS Factory - Resilient Futures
Status: Not active -
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 -
Customization and Adaptation of Automatically Generated Code
Status: Not active