Maintains the ENHSP and SPRINGROLL PDDL planners, focusing on numeric reasoning in planning problems. Since 2014, has 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., AIJ, JAIR, JAR, JETAI). Published numerous papers, including AICOM-14, ECAI-14, ICAPS-14, IJCAI-15, ICAPS-22, etc.
Research Experience
Has lectured, tutored, and coordinated labs for the Artificial Intelligence course at the Australian National University and now teaches two courses at UNIBS: Computation Systems (one module) and Intelligent Systems. Involved in multiple projects such as STEPS (Unito) - Space Exploration Systems, SMAT-F2 (Unito) - UAVs control in a surveillance scenario, ARC Project - Robust AI Planning for Hybrid Systems, MAIS (FBK) - Planning and scheduling for controlling interacting hoists in a galvanic plant, AIPLAN4EU (UNIBS) - Building the next level API for Planning Problems, MOSORE (UNIBS) - Planning the behavior of a Drone.
Education
Information not provided
Background
Associate Professor with a primary research focus on Artificial Intelligence, specifically in automated planning and scheduling. Interested in models that explicitly express non-determinism, partial observability, and timed actions, as well as languages grounded in first-order logic involving both numeric and propositional constructs.