Currently Teaching (a.y. 25/26)
Logics and Reasoning (Graduate Course for the MSc in CS)
Metodi Matematici per l'Informatica (Undergraduate Course for the BSc in CS)
Logica Matematica (Undergraduate Course for the BSc in Mathematics)
Fondamenti della Matematica (Graduate Course, Mathematics)
Courses from the past
Mathematical Logic for CS (Sapienza, Graduate, CS Department - 2017-2025)
Elective in Computational Learning Theory (Sapienza, Graduate, CS Department)
Introduzione alla Teoria degli Insiemi (Scuola Normale Superiore di Pisa - 08/09)
Lecture Notes (in italian!)
I have been teaching assistant for the following courses
Fondamenti di Programmazione (TA - Sapienza)
Metodi Matematici per l'Informatica (TA - Sapienza)
Introduzione agli Algoritmi (TA - Sapienza - 08/09, 09/10)
Progettazione di Sistemi Digitali (TA - Sapienza - 09/10)
Programmazione 2 (TA - Sapienza - 07/08, 08/09)
Bioinformatics (TA - Univ. of Delaware - 05/06)
Data Structures (TA - Univ. of Delaware - 05/06)
Una introduzione ai concetti e ai risultati fondamentali della Logica Matematica moderna.
Elementi di combinatoria, funzioni, relazioni, cardinalità, induzione, logica proposizionale.
Advanced topics in Mathematical Logic for CS. Finite Model Theory, Games, Descriptive Complexity, Modal and Temporal Logics.
Teoria assiomatica degli insiemi.