Born in Udine in 1962. Degree in Computer Science at the University of Pisa (1987). After three years as research scientist at the ENI group, he was Fulbright Fellow at Purdue University where he received a Master in Computer Science (1992). He received his PhD in Computer Science at the Université Denis Diderot - Paris VII (2003).
Professor of Computer Science at Ca 'Foscari University of Venice since 2006. Previously Associate Professor at Ca' Foscari (2001-2006), Assistant Professor at Ca 'Foscari (1998-2000) and at the University of Padua (1992-1998).
Visiting Professor at Boston University (1999), ENS Paris (2000), and visiting scientist at various universities in Europe.
Head of the Department of Environmental Science Informatics and Statistics (2011-2014), Head of the Department of Computer Science (2009 - 2010), Member of the Council of the Faculty of Sciences (2006 - 2010) and Member of the Academic Senate (2006 - 2009, 2013-2014).
From 1 October 2014 to September 2020 he has been Rector of Ca 'Foscari University of Venice.
His research has always centered on the analysis and formal verification of software, currently with specific focus on security and protection of information and data privacy in distributed systems. Author of over 100 publications in top international journals and refereed conference proceedings. In 2013, he was the co-recipient of the award for the Best EATCS Theory Paper at the European Joint Conferences on Theory and Practice of Software (ETAPS 2013). Member of the scientific committee of major international conferences. He has coordinated several research projects at regional, national and European. He is on the Register of the Ministry of Education for the evaluation of research and technological innovation. He is Fellow of the Institute of Veneto Letters, Sciences and Arts.