Literature
Students
CV
Research
Home
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)
>
Current
Past