Ph.D. Student
Phd student at the Automatic Control Department since January 2018. Part of the Wallenberg Autonomous Systems and Software Program (WASP).
My main research interest is autonomous software, with focus on the case where the autonomous layer is implemented using control theory. My work aims at defining methodologies for empirically and formally verify properties (both on the control and software perspective) for such systems.
Publications
Claudio Mandrioli, Alberto Leva, Martina Maggio: Dynamic Models for the Formal Verification of Big Data Applications via Stochastic Model Checking. In ''2nd IEEE Conference on Control Technology and Application, 2018''.