Home page

I am Associate Professor of Mathematical Logic at the Department of Mathematics and Computer Science of the University of Cagliari. 

Previously I worked as Marie Curie Fellow at the Artificial Intelligence Research Institute of the CSIC (Spanish National Research Council), as PostDoctoral researcher at the University of Turin, the Polytechnic University of the Marche, at the Czech Academy of Sciences and and the University of Cagliari, where I also obtained a PhD in Logic. I obtained a Master in "Logic, History and Philosophy of Science" from the University of Florence.  

My research interests include non-classical logics (in particular Kleene logics), Algebraic Logic, Universal algebra (in particular the theory of Plonka sums) and the application of logical methods in Computer Science. 

Contacts: stefano.bonzio@ unica.it, stefano.bonzio@gmail.com