I am currently a Post-doctoral researcher at the Department of Computer Science of Reykjavik University. My current research is on the improvement of techniques and tools in the domain of hyperproperties.
I was previously employed by the University of Camerino as a Post-Doc, where I worked on the development of solutions for the Gamification of Community-based Heritage.Â
I completed my PhD in Computer Science and Mathematics at the University of Camerino. My doctoral thesis encompassed a novel framework for the specification, simulation, and analysis of Multi-Agent Systems. During this period, I collaborated with researchers from Iceland and the Netherlands.
My research interests are Multi-Agent Systems and Collective Adaptive Systems simulation and analysis, with the goal of making these types of tools accessible to other researchers. Moreover, my interests span towards game research, gamification, and the use of gaming approaches for improving the well-being of people and society.
The complete CV is available here.
08/06/2026: "Simulation and Analysis of Indoor-Air-Quality Measuring Devices with YODA" has been published in the proceedings of Coordination Models and Languages (COORDINATION2026). Link.
26/05/2026: "Empowering Community-Based Heritage through Gaming: A Developer's Perspective" has been published in Communications of the ACM. Link.