His research focuses on software engineering, software architecture modeling and veri cation, and formal methods. Pelliccione received a PhD in computer science from the University of L’Aquila. He’s one of the founding members of the European Research Consortium for Informatics and Mathematics Working Group on Software Engineering for Resilient Systems. Contact him at patrizio.pelliccione@gu.se.