Current Position  

Full Professor of Logic, University of Cagliari

Areas of Specialization

Mathematical logic.

Areas of Competence

Foundations of mathematics; Theoretical computer science.