Marino Miculan is Professor of Computer Science at the University of Udine, where he founded and leads the MADS Lab and the Cybersecurity Lab. His research is mainly about models, formal methods and tools for analyzing, verifying and ensuring the security of concurrent and distributed systems. He has (co)authored about 100 publications and participated in 16 research projects.
Recapiti:
DMIF, Università di Udine via delle Scienze 206, 33100 Udine, Italy