Currently Teaching

  • Logica Matematica per Informatica [Mathematical Logic for Computer Science] (Graduate Course, Lead Instructor)