- July 2019 - Moved to Università di Brescia for a Lecturing Position (RTD-A)
- Februrary 2019 - AAAI-19, Talk about Planning with Metric Trajectory Constraints
About Me, Research-wise
My main research area is in the field of Artificial Intelligence and, more precisely, automated planning and scheduling. Automated planning is the AI approach to the problem of deciding what to do in order to achieve some objective. Scheduling complements planning by studying when exactly actions need to be taken according to given constraints.
My main interest is for those planning problems supporting expressive models of the world that account for deterministic, non-deterministic and partially observable environments, expressed through formal languages grounded on logic, constraints satisfaction and Satisfiability Modulo Theory. My main contributions are on planning under non-determinism (via online planning, plan execution, repair, replanning, plan adaptation, in AICOM-14, ECAI-14, ICAPS-14, IJCAI-15) or via conformant planning (IJCAI-17, ICAPS-18) and under deterministic assumptions but with powerful numeric representations (heuristic Search, compilation to other theories such as Satisfiability Modulo Theory, SOCS-15, IJCAI-15, IJCAI-16, ICAPS-16, ECAI-16, IJCAI-17, IJCAI-18). See research section for more information. I am also the maintainer of the ENHSP planning system, and SPRINGROLL, two PDDL planners used by the AI planning community; they focus on numeric reasoning in planning problems.
I am also an active member of the AI community. Since 2014, I have been serving as a Program Committee, reviewer, and session chair for top-ranked AI conferences (e.g., IJCAI, ICAPS, AAAI, ECAI) and AI Journals (e.g., JETAI, JAR).
I have also been lecturing, tutoring and coordinating the labs for the Artificial Intelligence course whilst I was at the Australian National University.
I was involved in a number of research oriented projects for space exploration (STEPS - Sistemi e Tecnologie per l'EsPlorazione Spaziale, a three years research project leaded by Thales Alenia Space), UAVs control (SMAT-F2, a project leaded by Selex) and on a ARC Project for the development of innovative techniques for Robust Hybrid Planning. I was involved in a project in Trento in the context of Industry 4.0. The project is about using planning and scheduling for controlling interacting hoists in a galvanic plant.