È Professore associato in INF/01 presso il Dipartimento di Matematica e Informatica. Nel 2009, ha terminato i suoi studi di dottorato in Informatica e Ingegneria presso IMT (Istituzioni, Mercati e Tecnologie) Lucca. È stato assegnista di ricerca presso il Dipartimento di Scienze (Università "G. d'Annunzio" di Chieti-Pescara), presso il Dipartimento di Matematica e Informatica (Università di Perugia), e successivamente borsista ERCIM "Alain Bensoussan" presso CWI-Amsterdam e INRIA-Rocquencourt. È stato visiting researcher presso il Cork Constraint Computation Centre (4C) ed il Royal Melbourne Institute of Technologies. Ha ricevuto il Marie Curie Award Certificate (Settimo Programma quadro). Svolge attualmente ricerca nel settore INF/01 ed è autore di più di 100 articoli in conferenze e riviste internazionali peer-reviewed. Ha fatto e fa parte del comitato di programma di numerose conferenze in Intelligenza artificiale e metodi formali, come IJCAI e AAAI, PRIMA, ICAART, SAC, COMMA e FACS. È track co-chair dal 2017 su Knowledge Representation and Reasoning alla conferenza internazionale Symposium on Applied Computing. È socio fondatore e CTO di Manent.AI, startup innovativa per l’estrazione di informazione da testo online, spin-off accademico dell’Università di Perugia.