My research activity focuses on developing effective and efficient systems to deal with complex temporal constraints in automated planning problems. Specifically, I'm developing compilation-based approaches to handle state-trajectory and action-trajectory constraints. These constraints are temporal properties that every plan must satisfy. Our approach consists in compiling a planning problem featuring such constraints into a classical planning problem that can be solved by any state-of-the-art classical planner.
I was born in Brescia (Italy) on the 13th of October, 1995. I received the Bs.c in computer science and engineering in 2018 with the final grade of 110/110 cum laude at Università degli Studi di Brescia with a thesis titled "Analysis of advanced techniques for NUMA architectures". I then achieved my Master’s degree in computer science and engineering in 2020 with the final grade of 110/110 cum laude at Università degli Studi di Brescia. My master thesis was titled "Compilation-based approaches for handling state trajectory constraints in planning problems". I am currently a Ph.D. student in Information Engineering at Università degli Studi di Brescia.