Andrea Margheri

Papers

Total Citations

H-Index

About

Andrea Margheri is a leading researcher in the engineering of trustworthy autonomic and adaptive systems, with a particular focus on the formal foundations of security and policy-based management. His work bridges the gap between high-level system specifications and low-level enforcement mechanisms, most notably through his highly cited 2014 paper "On Programming and Policing Autonomic Computing Systems" (7 citations), which introduced novel techniques for programming self-managing systems while guaranteeing their security properties. Margheri’s major contributions lie in developing rigorous, policy-driven frameworks that enable autonomic systems to dynamically adapt to changing environments without compromising safety or privacy. His research has had a tangible impact on the design of secure cloud computing platforms and the Internet of Things, where his formal methods ensure that autonomous decision-making remains verifiable and compliant. Beyond his foundational papers, Margheri is recognized for advancing the state of the art in runtime monitoring and enforcement, providing both theoretical insights and practical tools for building resilient, self-protecting software systems. His work continues to inspire new approaches to securing the next generation of intelligent, autonomous infrastructures.