PhD in Computer Science (Pisa, 1997), associate professor since 2005 (INF / 01). Head of the CINI Unit of Udine and of the MADSlab.
His research mainly concerns semantic models and formal methods for competing, distributed and autonomous programs and systems, in particular for cybersecurity problems. (Co) author of over 60 publications.
DMIF, Università di Udine
via delle Scienze 206, 33100 Udine, Italy
Phone: +39 0432 558486
mail: marino.miculan [at] uniud.it