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.
-
Creating the Energy for Change
Status: Not active -
SECSE
Status: Not active -
EuroCores Logiccc: Computational Foundations Of Social Choice
Status: Not activeLead researchers: Enrico Harm Gerding -
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 -
ESBMC for Timed LTL
Status: Not active -
Resilient and Testble Energy-Efficient Digital Hardware
Status: Not active