PAOLO
LIBERATORE
ING-INF/05
lunedi' ore 14:00
Paolo Liberatore ha conseguito il titolo di dottorato Ingegneria Informatica dall'Università di Roma "La Sapienza". La tesi di dottorato ha vinto il primo premio ECCAI per la migliore tesi di dottorato in intelligenza artificiale per il 1998. Ha lavoroto per cinque mesi presso i laboratori AT&T (Murray Hill, NJ) nel 1996 e per tre mesi presso l'Università di Linköping (Svezia) nel 1998. Attualmente è professore associato presso il dipartimento di informatica e sistemistica della Università di Roma ``La Sapienza''. I temi su cui ha lavorato sono: revisione della conoscenza, ragionamento di default, complessità computazionale, abduzione e pianificazione automatica. Ha pubblicato oltre venti articoli scientifici su riviste internazionali, fra le quali il Journal dell'ACM, Artificial Intelligence, il Journal of Computer and System Science ed Information and Computation. Paolo Liberatore è stato un editor associato del Journal of Artificial Intelligence Research co-chair della conferenza Starting AI Researcher Symposium.