Alessandro Aldini is Associate Professor in Computer Science at the University of Urbino “Carlo Bo”. His current research interests are focused on the study and application of automated methodologies for the design and verification of computer and network systems, with an emphasis on foundations of security, trust, and performance analysis and design.