Home

I graduated with honors in Computer Science at the University of L’Aquila in April 2004, and I received my PhD in April 2008 with the best grade.

I collaborate with various companies and international research groups worldwide. I have consolidated experience in EU and Italian research and development projects as principal investigator, scientific and technical project leader, research unit coordinator, and work package leader.

I am (co-)author of more than 100 publications in international journals, conference proceedings, book chapters, and editorials.

I am serving as a reviewer for several international conferences, workshops, and top-level international journals. I am an associate editor and on the editorial board of a number of international journals. I am the lead guest editor of various special issues and thematic series. I am involved in the organization of workshops and conferences in the field of Software Engineering.

I actively work on the (from theory to practice) application of automated software engineering methods and practical formal methods to the modeling, verification, analysis and automatic synthesis of complex self-aware distributed systems, from middleware to application layer, and application of context-oriented programming and analysis techniques to the development of self-aware systems.

My primary research accomplishments lie in the domains of self-aware systems that support autonomous and self-adaptive behaviors, distributed software systems, and (micro)service-oriented systems. These systems involve distributed computing resources with self-managing capabilities, adapting to unpredictable changes, new goals, and contexts. My research aims to simplify the inherent complexity for developers through the use of practical specification formalisms, enabling automated reasoning and synthesis for correct-by-construction implementation and composition.

I released a number of software tools and platforms in connection with research projects and publications.

Orario Ricevimento / Student hours

• Gio / Thu 13:30 - 14:30
• Ven / Fri 13:30 - 14:30