Luca Spalazzi

Papers

Total Citations

H-Index

About

Luca Spalazzi is a computer scientist whose research focuses on the intersection of artificial intelligence, multi-agent systems, and formal verification. His work has been instrumental in advancing flexible planning and reasoning under uncertainty, particularly through the integration of multilevel reasoning frameworks that bridge symbolic and numerical approaches. Spalazzi’s contributions to multi-agent systems include developing models for agent cooperation, trust, and secure communication, often applying formal methods to ensure reliability in distributed environments. His most-cited paper, "Flexible planning by integrating multilevel reasoning" (1995), laid foundational groundwork for adaptive planning strategies, earning recognition for its early synthesis of hierarchical and reactive planning paradigms. With a career spanning decades, Spalazzi has also explored applications in cybersecurity and smart environments, publishing extensively on agent-based security protocols and context-aware systems. His work continues to influence researchers in AI planning, multi-agent coordination, and formal verification, with cumulative citations reflecting sustained impact across these domains.