Teaching Activity

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

Courses

  • A.Y. 2016/17
    • Laboratorio di Algoritmi e Strutture Dati, 6 CFU, secondo anno, primo semestre, corso di laurea in Informatica, Unicam - pagina del corso1)
    • 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
  • A.Y. 2015/16

Tesi/Theses

1) Questa pagina è accessible solo agli studenti Unicam