Stefano Bonzio

Stefano Bonzio is an Associate Professor of Mathematical Logic at the Department of Mathematics and Computer Science, University of Cagliari, where he previously served as Assistant Professor (2021-2024). He held a Marie Curie Fellowship at the Artificial Intelligence Research Institute of the CSIC (Spanish National Research Council) and conducted postdoctoral research at the University of Turin, Polytechnic University of the Marche, Czech Academy of Sciences, and University of Cagliari.

His educational background includes:

• PhD in Logic, University of Cagliari
• Master in "Logic, History and Philosophy of Science", University of Florence

Bonzio's research centers on non-classical logics—particularly Kleene logics—and their algebraic foundations, with significant contributions to Algebraic Logic and Universal algebra (specializing in Plonka sums). His work bridges theoretical frameworks with practical applications in computer science, focusing on logical systems that handle partiality, inconsistency, and ignorance. This interdisciplinary approach connects mathematical structures with computational reasoning and philosophical inquiry.

His recent publications (2023-2025) reveal a concentrated exploration of variable inclusion logics, residuated structures, and algebraic semantics for non-classical systems. Key themes include the structural analysis of Bochvar and McCarthy algebras, numerical semigroups, and formal models of ignorance, demonstrating consistent innovation in logical frameworks for computational and philosophical problems.

Scientific recognition includes:

• Marie Curie Fellowship

While no formal advisees are documented in available sources, Bonzio's academic trajectory indicates active mentorship through his postdoctoral collaborations. His research has been supported by prestigious European frameworks like the Marie Curie program, though specific grant details beyond this fellowship remain unreported.

No dedicated laboratories or structured research teams are mentioned in current documentation, though his affiliations with multiple international institutions suggest collaborative network-based research practices.