User:Alberto Casagrande

Alberto Casagrande got his PhD in Computer Science from the University of Udine in 2006. He was scientific and software implementation consultant of both PARADES GEIE, from 2003 to 2005, and Istituto di Genomica Applicata (IGA), from 2006 to 2008. Since 2010, he is assistant professor in Informatics at the department of Mathematics and Geosciences of the University of Trieste. His research interests mainly concern hybrid automata and formal verification.