Marco Aruta

Hi there, I’m Marco, a Research Fellow at the University of Naples Federico II, working with the Automated STrategic REAsoning (ASTREA) group under the leadership of Aniello Murano. I also offer my expertise as a part-time AI Consultant.

My research is centered on exploring Formal Methods for Multi-Agent Strategic Reasoning to create a robust framework for the automatic synthesis of strategies, with a keen focus on resilience. The goal is to develop algorithmsand tools that are not only theoretically sound but also practically applicable, particularly in safety-critical systems where reliability is paramount.