Claudio Mandrioli

Image
University of Luxembourg
Institution
Postdoctoral Research Associate
Bio

I am a Research Associate (post-doc) at the Software Verification and Validation Lab, University of Luxembourg, headed by prof. Domenico Bianculli, since January 2023. I received my PhD in December 2022 from Lund University, department of Automatic Control, working with prof. Martina Maggio. During my PhD, I started collaborating with the Software Verification and Validation Lab at the University of Luxembourg working with Lionel Briand, Domenico Bianculli, and Seung Yeob Shin. This collaboration led to my current position. Previously, I obtained my master and bachelor degrees in Automation and Control Engineering from Politecnico di Milano, respectively in 2017 and 2015.

Abstract

My main research interest lies in the interdisciplinary nature of Cyber-Physical Systems (CPS). I am interested in how to develop software that interacts with the physical world and steers it. The challenge of integrating the different natures of software and physical world (e.g., discrete and continuous domains) in effective engineering practices is the curiosity that drives my research. Accordingly, my research questions focus on complementing software engineering practices with tools from control engineering (as well as other engineering disciplines) for the effective development of CPS. Along this research line, in my research, I have introduced the concept of design assumptions that allow the integration of control theoretical guarantees in the software testing process. Furthermore, I have empirically investigated the impacts of using different testing setups (e.g., software or hardware in the loop) on the testing process for CPS software.

Email
claudio.mandrioli@uni.lu