Rettore dell’Università di Pisa
Nato l’8 novembre 1959 a Nato Gallarate (VA), ha conseguito la laurea in Scienze dell’informazione all’Università di Pisa nel 1982 e il dottorato di ricerca in Informatica congiunto tra Genova, Pisa e Udine nel 1988. Dopo un periodo all’Imperial College of Science di Londra, è rientrato nell’Ateneo pisano prima come ricercatore, poi come professore associato e infine, a partire dal 2004, come professore ordinario, lavorando sempre nel dipartimento di Informatica. Nel corso della carriera ha ricoperto diversi e importanti incarichi istituzionali, sia nell’ambito dell’Università di Pisa sia a livello nazionale. La sua attività didattica è stata principalmente rivolta agli ambiti delle Scienze dell’informazione e dell’Informatica. Sul piano della ricerca, è partito dall’analisi dei linguaggi di programmazione dichiarativi per la rappresentazione della conoscenza, ampliando poi i suoi interessi con lo studio di modelli e linguaggi innovativi per sistemi intelligenti basati sulla logica, in grado di dotare i sistemi artificiali di capacità di ragionamento non solo deduttivo ma anche ipotetico e predittivo. In anni più recenti, l’attività di ricerca si è indirizzata ai cosiddetti sistemi argomentativi basati sulla logica (logic-based argumentation systems), attraverso studi di carattere teorico e fondazionale, ma con l’attenzione sempre rivolta anche agli aspetti computazionali e applicativi. Tra gli altri temi di ricerca: l’analisi statica di linguaggi concorrenti, il ragionamento temporale, l’integrazione di paradigmi di programmazione logici e funzionali etc.
