I am a 5th-year Ph.D. student in a joint international agreement between Sapienza University in Rome (Italy) and York University in Toronto (Canada). I work in the WhiteMech research group.
My Ph.D. advisors are Giuseppe De Giacomo and Yves Lespérance.

During the summer of 2022, I completed a research internship at IBM Research AI, working with Tathagata Chakraborti in the AI Composition Lab, Cambridge, MA (USA).

From 2020, I am a qualified Professional Engineer in Italy. In October 2018, I completed my M.Sc. in Engineering in Computer Science at Sapienza University with Giuseppe De Giacomo. Prior to that, I completed my B.Sc. in Industrial Engineering at Campus Bio-Medico University with Luca Vollero.

A complete and detailed CV/Résumé is available upon request.

Feel free to reach out by email at: f......@diag.uniroma1.it or f......@eecs.yorku.ca

github icon linkedin icon dblp icon google scholar icon orcid icon keybase icon telegram icon pgp icon


The main goal of my research is to build intelligent autonomous agents by exploring the intersection between the power of Artificial Intelligence techniques and the rigorousness of Formal Methods mathematical tools. In particular, my research interests span logic, reasoning and acting, with a focus on Pure-Past Temporal and Dynamic Logic, Planning for Temporally Extended Goals, Explainability, and Trace Alignment for Process Management.


I am the author/contributor of several research-related software tools, most of them are hosted on the WhiteMech GitHub. The five main projects are LTLf2DFA, Plan4Past, pddl, NL2LTL, and TraceAligner.


During the spring of 2022, I was a TA for the AI module within the AI&ML 2021/2022 graduate course at Sapienza University.

During the spring of 2021, I was a TA for the Reasoning Agents graduate course at Sapienza University, co-supervising 4 project groups.

From January 2019 to April 2020, I was a TA for several undergraduate courses at York University, including EECS1021, EECS1022 (x2), EECS2021, and EECS2030.



The papers posted here consist of preliminary versions of papers that are about to be published or have been published in journals or conference proceedings. For final versions, please see cited journals or proceedings.

Last update on: August 8, 2023