Keynote Speech Title: Monitoring Spatially Distributed Cyber-Physical Systems
Abstract: Modern cyber-physical systems are increasingly large-scale, spatially distributed, and dynamic, with components that move, interact, and reconfigure over time. In this talk, we will discuss how formal spatio-temporal reasoning can be combined with simulation to support the analysis and monitoring of such systems, enabling the study of global behaviours emerging from local interactions. Through illustrative scenarios, we will show how logic-based monitoring can complement simulation models providing powerful tools for the understanding complex networked systems.
Bio: Ezio Bartocci is a Full Professor at TU Wien, where he leads the Trustworthy Cyber-Physical Systems (TrustCPS) Research Group within the Cyber-Physical Systems Research Unit. His research focuses on formal methods and computational tools for ensuring the safety, security, energy efficiency, and correctness of AI-based cyber-physical systems, with a strong emphasis on sustainability. He received the B.S. in Computer Science, the M.S. in Bioinformatics, and the Ph.D. in Information Science and Complex Systems from the University of Camerino, Italy. From 2010 to 2012, he was a Postdoctoral Researcher at Stony Brook University, where he contributed to the NSF-funded CMACS project on computational cardiac dynamics. He joined TU Wien in 2012, became Assistant Professor in 2015, Associate Professor in 2019, and Full Professor in 2020. He currently serves as Vice-Chair of the Marie Skłodowska-Curie COFUND doctoral programme LogiCS@TUWien, Chair of the Doctoral College on Trustworthy Autonomous Cyber-Physical Systems, and Research Focus Coordinator for Computer Engineering at the Faculty of Informatics, TU Wien. His work has received multiple Best Paper Awards (EMSOFT 2025, QEST 2022, RV 2011),the Radhia Cousot Young Researcher Award (SAS 2022), and the EASST Best Software Science Award (ETAPS 2022).