Teaching activities, University of Verona since A. Y. 2021-2022

(for prevoius A.Y.  see my  Department page )

Anno Accademico 2024-2025

• Algebra e Matematica di Base
  Laurea in Informatica 

• Advance course in the foundations of mathematics 

Master Degree in Mathematics

• Logic in AI/Logic in Computer Science
  Master Degree in Artifical Intelligence and Master Degree in Ingegneria e Scienze informatiche

Anno Accademico 2023-2024

• Logica
  Laurea in Informatica 

• Advance course in the foundations of mathematics 

Master Degree in Mathematics

• Logic in AI/Logic in Computer Science
  Master Degree in Artifical Intelligence and Master Degree in Ingegneria e Scienze informatiche

• PhD Course Foundations of Quantum Languages.

Anno Accademico 2022-2023

• Logica
  Laurea in Informatica 

• Advance course in the foundations of mathematics 

Master Degree in Mathematics

• Matematica e statistica (Matematica, Modulo 1)
  Laurea in Biotecnologie
  
  

Anno Accademico 2021-2022

• Mathematical Logic
  Master's degree in Mathematics
  
  

• Matematica e statistica (Matematica, Modulo 1)
  Laurea in Biotecnologie