====== Teaching Activity ======

The most updated information is available at [[http://docenti.unicam.it/pdett.aspx?UteId=572&tv=c&ru=RU|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 -   [[http://didattica.cs.unicam.it/doku.php?id=didattica:triennale:asd:ay_1617:lab|pagina del corso]]((Questa pagina è accessible solo agli studenti Unicam)) 
    * 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: [[teaching::ifts1617|pagina del corso]]
  * A.Y. 2015/16
    * ...

===== Tesi/Theses =====

...