My research interests are in the area of Artificial Intelligence. In particular, I am interested in how to improve the interaction between Formal Methods and Machine Learning, especially in the context of decision making, in order to take the best of both worlds. Among my areas of research, there are: Non-Markovian Reinforcement Learning, Automata Theory, (Finite) Temporal Synthesis, Planning for Temporal Goals, and Multi-Agent Systems.
Previously, I was a full-time Machine Learning Engineer at Fetch.ai. I am one of the main contributors of the AEA framework, which empowers developers to build decentralized autonomous software that trades on blockchains and perform other useful tasks for their owner. From time to time I still contribute to Fetch.ai projects.
I have got both a MSc. and BSc. in Engineering in Computer Science at Sapienza University.
For the list of my publications, please look at my Google Scholar and DBLP profiles, or this page.