Bio

In September 2023, I graduated with a double Ph.D. in Artificial Intelligence from Sapienza University in Rome (Italy) and York University in Toronto (Canada), under the co-supervision of Giuseppe De Giacomo and Yves Lespérance. My Ph.D. dissertation focused on Artificial Intelligence, Formal Methods, and Business Process Management and Automation. For the latest 3 years of my Ph.D. I worked in the WhiteMech research group.

In October 2018, I completed my M.Sc. in Engineering in Computer Science at Sapienza University working with Giuseppe De Giacomo. Prior to that, I completed my B.Sc. in Industrial Engineering at Campus Bio-Medico University working with Luca Vollero.

Dissertation

Efficient Techniques for Automated Planning for Goals in Linear Temporal Logics on Finite Traces
Read More

Advisors:
Giuseppe De Giacomo (University of Oxford), Yves Lespérance (York University).

Committee Members: Blai Bonet (Pompeu Fabra University), Andrea Marrella (Sapienza University), Fabio Patrizi (Sapienza University), Arik Senderovich (York University), Franck van Breugel (York University).