Currently Teaching
Mathematical Logic for Computer Science (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)
Courses from the past
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.
Combinatoria, funzioni, relazioni, cardinalità, induzione, logica proposizionale.
Advanced topics in Mathematical Logic for CS. Finite Model Theory, Games, Descriptive Complexity, Modal and Temporal Logics.