2025/26
Introduction to Mathematical Logic (undergraduate program in Mathematics)
Algebra 2 (undergraduate program in Mathematics)
Mathematical Logic (Master program in Philosophy)
Details can be found here.
Past courses
Discrete Mathematics (undergraduate program in Applied Computer Science and Data Analytics)
Algebra 2 (undergraduate program in Mathematics)
Introduction to Mathematical Logic (undergraduate program in Mathematics)
Students Supervision
PhD
Giuseppe Zecchini (University of Cagliari). Start: 2024. Project: algebraic properites of Plonka sums and their application to residuated structures.
Nicolò Zamperlin (University of Cagliari), Modalization of some logics of variable inclusion. Expected defense: June 2025.
Master
Marco Ferrara (University of Cagliari), Coq formalization of group theory, 2025.
Giuseppe Zecchini (University of Cagliari), On some algebraic properties of Plonka sums, 2024.
Ludovico Fusco (University of Pisa), Mal'cev products in the general theory of semilattice sums of algebras, 2022.
Bachelor
Giuseppe Zecchini (University of Cagliari), Cayley-Holland theorem for l-groups, 2022.