La sua attività di ricerca si concentra sull’intelligenza artificiale, con particolare attenzione a rappresentazione della conoscenza, ragionamento automatico, pianificazione, reinforcement learning e metodi formali per la verifica e sintesi di sistemi complessi. È autore di numerose pubblicazioni scientifiche internazionali e partecipa a importanti progetti di ricerca nazionali ed europei nel campo dell’AI.