Patrizia Scandurra

Patrizia Scandurra is a Professor affiliated with the University of Bergamo, Italy. Her research focuses on formal methods, software architecture, self-adaptive systems, and model-driven engineering. She has contributed extensively to the development of rigorous system design frameworks like ASMETA and has led work on resilience engineering in cyber-physical systems. Scandurra has co-authored numerous papers in top venues such as ECSA, ABZ, and IEEE Transactions, and has served as editor for conference proceedings including ECSA 2024 and ABZ 2024. Her work emphasizes practical applications of formal methods in safety-critical systems, IoT, and medical devices, with a recent focus on explainable AI and trustworthiness in autonomous systems.

• Areas: Formal Methods, Self-Adaptation, Cyber-Physical Systems
• Tools: ASMETA, HYPpOTesT Toolkit
• Key Projects: MVM-Adapt, RAMSES, IPSOS emergency response system

Her research spans theoretical advancements and practical implementations, often bridging gaps between model-driven approaches and real-world system deployment. Current trends include addressing uncertainty in self-adaptive systems, trust analysis for medical devices, andexplainability in robotics.