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.

Software

I am the author/contributor of several open-source software tools, including Lemming, NL2LTL, pddl, Plan4Past, LTL_f2DFA, and TraceAligner.

Teaching

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.

Service

• PC Member: AAAI 2025, ECAI 2023, PMAI@IJCAI 2023, IJCAI 2023 (Survey), AAAI 2023, PMAI@IJCAI 2022, IJCAI 2022 (Survey), IJCAI 2021 (Survey), AAAI 2021
• Reviewer: KR 2022, CAIAC 2020
• Editor: Managed the collection of all publications for the European TAILOR Project and its ICT-48-WP5 work package (2020–2023)