Breve profilo

Laurea in Filosofia presso l'Università di Palermo (1982) con una tesi sulle origini del calcolo infinitesimale in Leibniz, scritta sotto la supervisione di Marco Mondadori. PhD presso il Computing Laboratory, Università di Oxford (1990), con una tesi sulla complessità computazionale dei calcoli logici. Research Associate presso il Department of Computing, Imperial College of Science, Technology and Medicine, Londra (1991-1996), nel gruppo "Logic and Computation", guidato da Dov Gabbay. Negli anni trascorsi a Londra mi sono occupato prevalentemente di deduzione automatica nella logica classica e in alcune logiche non-classiche. Ricercatore e poi Professore Ordinario di Logica e Filosofia della Scienza, presso il Dipartimento di Studi Umanistici e poi presso il Dipartimento di Economia e Management dell'Università di Ferrara (1996-2015). Negli ultimi  anni i miei interessi di ricerca si sono estesi alla filosofia della logica, alla filosofia dell'informazione, alla teoria economica e alla teoria della misurazione nelle scienze sociali.

Per altre informazioni si veda il mio CV.