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 is mainly about models, formal methods, languages and tools for analysis and verification of security aspects of concurrent and distributed systems. (Co)author of about 90 publications.