Martina Maggio is a Professor at the Department of Automatic Control at Lund University, and the Computer Science Department at Saarland University, Professor Maggio joined WASP in 2015.
Academic Supervisor.
Because of interesting research at the boundary between automatic control and software engineering.
Networking opportunities and funding opportunities (for topics that maybe are less mainstream and would not get funded otherwise).
I conduct research at the intersection between control engineering and software. In particular I have recently been working on:
(i) testing of the implementation of control systems,
(ii) verification that the implementation of a controller can tolerate a number of faults.
The two topics are very interconnected as better testing allows one to find faults and correct bugs in the implementation of controllers. However, the bugs may also arise from the environment and from unexpected interaction between different computing components (e.g., a controller and a diagnostic system that share data and hence are subject to execution delays due to locking protocols, or security attacks). Hence it is important to also find techniques that can guarantee that the controller is robust to the presence of computational problems.
The verification of systems that are subject to computational problems allows us to not change a component unless it is completely detrimental for the system behaviour. This favours reuse and avoid wasting resources, which is important to reduce our consumption footprint.
