Currently, I am a Ph.D. student in a joint agreement between Sapienza University in Rome (Italy) and York University in Toronto (Canada). I belong to the WhiteMech research group.

My supervisors are Giuseppe De Giacomo and Yves Lespérance.


I mainly work in the area of Artificial Intelligence and Formal Methods. In particular, my research interests are on Liner-time Temporal Logics on Finite Traces, Reasoning about Actions, Planning, and Explainability for autonomous systems.


I am the author of several tools, most of them are hosted on GitHub. The two main research tools are LTLf2DFA and FOND4LTLf.


  • 2016 – 2018: M.Sc. in Engineering in Computer Science
  • 2013 – 2016: B.Sc. in Industrial Engineering


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.