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