Teaching

2015/2016

Formal Methods for concurrent and real-time systems

   Course website: http://home.deib.polimi.it/mandriol/Didattica/sitofms.html

   Teaching assistant website: https://sites.google.com/site/fmpoliuic/home

2016/2017

Algorithms and Parallel Computing

   Course website: Algorithms and Parallel Computing