Insegnamento

2019-2020

• Logica e Teoria dell'Argomentazione (pagina web del corso). Esercitazioni di Logica Classica, 10h, Dipartimento di Scienze Pure e Applicate, Università degli Studi di Urbino.

2018-2019

• Introduzione alla Programmazione in Java (pagina web del corso). "Monitorat" (tutorato), 32h, UFR Informatique, Université Paris Diderot.
  
  
• Base di Dati (pagina web del corso). "Monitorat" (tutorato), 32h, UFR Informatique, Université Paris Diderot.

Altre attività di insegnamento

• MOOC su lambda calcolo, macchine di Turing, e complessità computazionale (pagina web). Progetto PLS (Piano Lauree Scientifiche), Università degli Studi di Urbino, 2020.
  
  
• Oltre le Due Culture (Per un Dialogo Interdisciplinare tra Logica, Filosofia e Scienze della Comunicazione) - Laboratorio 3: Analisi e Comunicazione dei Testi (link You Tube). Progetto POT (Piano per L'Orientamento e Tutorato), Università degli Studi di Urbino, 2019.
  
  
• Che cos'è la computazione (slides). Progetto PLS (Piano Lauree Scientifiche), ITIS School "E. Mattei", Urbino, 2019.