Laureato a Pisa in Scienze dell’Informazione nel 1982, ha conseguito il titolo di Dottore di Ricerca
in Informatica nel 1988. È professore ordinario presso il Dipartimento di Informatica dell’Università di Pisa
e, dal 2010, Prorettore per la Didattica.
I suoi principali interessi di ricerca includono rappresentazione della conoscenza e ragionamento automatico,
agenti e sistemi multi-agente, logica computazionale e programmazione logica abduttiva.
Dal 2000 è il docente delegato del Rettore per la disabilità (delega prevista dalla Legge 17/99) e coordina le attività
del servizio disabili dell’Ateneo (USID – Unità per il Supporto e l’Integrazione degli studenti Disabili).
Ha contribuito nel 2002 alla costituzione della CNUDD, la Conferenza Nazionale Universitaria dei Delegati Disabilità,
di cui è Presidente dal dicembre 2009.
Nel 2009-2010 ha coordinato un progetto finanziato dal MIUR per lo sviluppo di un sistema di predizione
della scrittura per persone disabili.