Teaching

2019-2020

• Logic and Theory of Reasoning (webpage of the course). Teaching support on Classical Logic, 10h, Department of Pure and Applied Sciences, University of Urbino.

2018-2019

• Introduction to Programming in Java (webpage of the course). "Monitorat" (tutoring), 32h, UFR Informatique, Université Paris Diderot.
  
  
• Databases (webpage of the course). "Monitorat" (tutoring), 32h, UFR Informatique, Université Paris Diderot.

Other teaching activities

• MOOC on lambda calculus, Turing machines and computational complexity (webpage). PLS project (Piano Lauree Scientifiche), University of Urbino, 2020.
  
  
• Oltre le Due Culture (Per un Dialogo Interdisciplinare tra Logica, Filosofia e Scienze della Comunicazione) - Laboratorio 3: Analisi e Comunicazione dei Testi (You Tube link). POT project (Piano per L'Orientamento e Tutorato), University of Urbno, 2019.
  
  
• Che cos'è la computazione (slides). PLS project (Piano Lauree Scientifiche), ITIS School "E. Mattei", Urbino, 2019.