Patrizia Scandurra is an Associate Professor at the Department of Management, Information and Production Engineering, University of Bergamo, Italy. Her academic appointment in Computer Science (01/B1) spans from 2022 to 2033. She previously held roles as a researcher at the University of Bergamo (2009-2017) and postdoctoral fellow at the University of Milan (2006-2008). She earned her PhD in Computer Science (2006) and Bachelor's degree (2002) from the University of Catania. Research Focus : Software architectures and formal methods for modeling, validation, and verification of software-intensive systems. Specializations : Runtime analysis of self-adaptive, autonomous, and uncertain systems including IoT-Edge-Cloud applications, embedded systems, and system-on-chip. Collaborations : STMicroelectronics, Atego, Bialetti, and ENEA. Conference Involvement : Program/organizing committees for ICSE, ASE, ISSRE, ICSA, ECSA, SEAMS@ICSE, ABZ, SA-TTA@SAC, FAACS@ECSA. Research Projects : Model-driven development for robotics, adaptive architectures for pervasive systems, big data in smart cities, and digital twins for medical systems. Notable Contributions : Development of the ASMETA formal method community tools and frameworks for rigorous system design. She has published over 100 peer-reviewed works in international journals and conferences.




