Nel 1994 si laurea in ingegneria informatica e nel 1998 ottiene il dottorato di ricerca in ingegneria informatica. Attualmente è professore associato nell’Università di Roma “La Sapienza” nel Dipartimento di ingegneria informatica, automatica e gestionale Antonio Ruberti. È stato responsabile italiano del progetto coordinato Italia-Francia “Knowledge fusion and planning in multi-agent decision making” e del progetto di ateneo “Applicazioni di tecniche di intelligenza artificiale alla composizione di servizi web”. La sua ricerca svolta è concentrata sui formalismi logici per la rappresentazione della conoscenza in intelligenza artificiale, e su argomenti di complessità computazionale. In particolare ha lavorato sui seguenti temi.
