The most updated information is available at my institutional page at Unicam.

• A.Y. 2016/17
  • Laboratorio di Algoritmi e Strutture Dati, 6 CFU, secondo anno, primo semestre, corso di laurea in Informatica, Unicam - pagina del corso¹⁾
  • Real-time and Probabilistic Systems Verification, 6 ECTS, second year, first semester, Master of Science in Computer Science, Unicam
  • Reactive Systems Verification, 6 ECTS, first year, second semester, Master of Science in Computer Science, Unicam
  • IFTS Laboratorio web: pagina del corso
• A.Y. 2015/16
  • …

…