
Registered user since Wed 2 May 2018
I am an Associate Professor at the Department of Information Engineering, Computer Science, and Mathematics (DISIM), University of L’Aquila.
I graduated with honors in Computer Science at the University of L’Aquila in April 2004, and I received my Ph.D. in April 2008 with the highest distinction.
I collaborate with various companies and international research groups worldwide. I have 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.
I am the (co-)author of approximately 120 publications in international journals, conference proceedings, book chapters, and editorials.
I serve as a reviewer for several international conferences, workshops, and top-tier international journals. I am also an associate editor and a member of the editorial board for several international journals. Additionally, I act as the lead guest editor for various special issues and thematic series and am actively involved in the organization of workshops and conferences in the field of Software Engineering.
My research focuses 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. The overarching goal is to simplify inherent system complexity for developers by leveraging expressive yet usable specification notations and languages, enabling automated reasoning and synthesis for correct-by-construction composition, coordination, and adaptation.
My primary research contributions lie 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. These systems involve distributed computing resources endowed with self-managing and decision-making capabilities, adapting dynamically to unpredictable changes, emerging goals, changing contexts, and, more recently, end-user ethical preferences.
Contributions