Phd student at the Automatic Control Department since January 2018: indicative date for graduation is end of 2022. I am part of the Wallenberg Autonomous Systems and Software Program (WASP). Currently visiting the SnT-SVV department at the University of Luxembourg.
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.
You can find an up-to-date list of my publications with pdfs and links to associated arifacts here.