Professore ordinario al Gran Sasso Science Institute, L’Aquila. Dopo una laurea in Fisica (Università Statale, Milano) ha ottenuto un dottorato in Computer Science (University College London). Nella sua ricerca si occupa di verifica di sistemi complessi e critici con tecniche di intelligenza artificiale simbolica. È stato Head of Department a Middlesex University (UK) ed ha collaborato con svariati enti di ricerca in UK e USA, ricoprendo il ruolo di Amazon Scholar dal 2019 al 2023.