Currently Teaching (a.y. 26/27)
Metodi Matematici per l'Informatica (Laurea triennale Informatica)
Logica Matematica (Laurea triennale Matematica)
Algoritmi e Complessità (Laurea triennale Scienze Matematiche per l'IA)
Fondamenti della Matematica (Laurea magistrale Matematica)
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)
Logics and Reasoning (Graduate Course for the MSc in CS)
Fondamenti della Matematica (Graduate Course, Mathematics)
I have been a 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.