I am a Ph.D. student in a joint international agreement between
Sapienza University in Rome
(Italy) and York University in Toronto
(Canada). I belong to the WhiteMech research
My advisors are Giuseppe De Giacomo and Yves Lespérance.
From 2020, I am a qualified Professional Engineer in Italy.
Previously, I completed my M.Sc. in Engineering in Computer Science at Sapienza University with Giuseppe De Giacomo. Before 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
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 of several software tools, most of them are hosted on the WhiteMech GitHub. The three main research-related tools are LTLf2DFA, FOND4LTLf, and Plan4Past.
Currently, I am TA for the AI module within the AI&ML 2021/2022 graduate course at Sapienza University.
During Spring 2021, I have been a TA for the Reasoning Agents graduate course at Sapienza University, co-supervising 4 group projects.
From January 2019 to April 2020, I have been a TA for several undergraduate courses at York University, including EECS1021, EECS1022 (x2), EECS2021, and EECS2030.
- PC Member: PMAI@IJCAI 2022, IJCAI 2022 (Survey), IJCAI 2021 (Survey), AAAI 2021
- Reviewer: KR 2022, CAIAC 2020
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: April 3, 2022