Author or co-author of approximately 120 publications in international journals, conference proceedings, book chapters, and editorials. Serves as a reviewer for several international conferences, workshops, and top-tier international journals. Also an associate editor and member of the editorial board for several international journals. Leads guest editor for various special issues and thematic series, and is actively involved in the organization of workshops and conferences in the field of Software Engineering.
Research Experience
Associate Professor focusing on the application of automated software engineering techniques and practical formal methods to the modeling, architecture, analysis, and automatic synthesis of complex systems, spanning from theory to practice. Main contributions are in the domains of distributed self-aware systems that support autonomic self-management operations and autonomous self-adaptive behaviors, including multi-robot and (micro)service-oriented systems.
Education
Graduated with honors in Computer Science at the University of L’Aquila in April 2004, and received Ph.D. in April 2008 with the highest distinction.
Background
Academic background in Computer Science and Software Engineering, with expertise in solution- and knowledge-oriented research. Primary research interests include Autonomous and Autonomic Systems, Context-Aware Systems, Distributed Systems, and Self-Adaptive Systems. Focuses on automated approaches for developing correct-by-construction practical solutions grounded in theoretical understanding and well-established architectural principles. Extensive experience working across diverse countries and contexts, actively engaging with the international research community.
Miscellany
Collaborates with various companies and international research groups worldwide. Consolidated experience in European Union and Italian research and development projects, serving as principal investigator, scientific and technical project leader, research unit coordinator, and work package leader.