Alessandro Aldini is Associate Professor of Computer Science at the University of Urbino Carlo Bo, Italy. He focuses primarily on formal modeling and verification of concurrent and distributed computer, network, and software systems and architectures. His main research fields in theoretical computer science include process algebraic and logical approaches, equivalence and model checking techniques, and related applications to the domains of efficient, trustworthy, and secure systems.