Research projects
-
FuRoRe: Foundations for Robust Runtime monitoring
This project focuses on enhancing the control mechanism of autonomous systems, specifically runtime monitors, in uncertain situations.
-
PhD internship: Detection Algorithms
Alex Kolmus, PhD in the Applied Mathematics group of Gabriel Lord (Radboud University), was given the opportunity to work on an Alliander cases for three months.
-
What is the influence of cable temperature on the possible load of the electricity network?
What is the influence of temperature (think of heat pumps and airconditioning) on the possible load on the electricity network?
-
Implicit Complexity through Higher Order Rewriting (ICHOR)
The goal of ICHOR is to study computational complexity of and using higher-order term rewriting systems. Our particular focus is to develop methods that involve algebra interpretations.