The main focus of my PhD is testing of autonomous systems, with focus on the case where the autonomous layer is implemented using control theory. My work aims at defining testing methodologies for empirically and formally verify properties (both on the control and software perspective) for such systems.

On the side I have also been working on control and real-time systems co-design, specifically in designing control algorithms that are robust to the occurrence deadline misses.