Currently Teaching
- Logica Matematica per Informatica [Mathematical Logic for Computer Science] (II Semester, Graduate Course for the MSc in CS, Lead Instructor)
- Metodi Matematici per l'Informatica [Mathematics for Computer Science] (I Semester Undergraduate Course for the BSc in CS, Lead Instructor)
- Logica Matematica [Mathematical Logic] (I Semester Undergraduate Course for the BSc in Mathematics, Lead Instructor)
