Alessandro Aldini

Alessandro Aldini is an Associate Professor in the Section of Informatics and Mathematics within the Department of Pure and Applied Sciences (DiSPeA) at the University of Urbino Carlo Bo. His academic work focuses on theoretical computer science with applications to security and verification of complex systems.

His research interests span several key areas:

• Design and verification of concurrent and distributed computer, network, and software systems
• Trust models and trustworthy systems
• Concurrency theory and (nondeterministic, probabilistic, and Markovian) process algebra
• Exact and approximate behavioral equivalences and equivalence checking
• Exact and approximate noninterference approach to information flow analysis
• Modal logics and model checking
• Security, dependability, and performability analysis

Professor Aldini serves as the UNIURB research unit leader for the PRIN project AsCoT-SCE (Assessing Compliance of IoT API for Security Critical Environments) and participates in other significant research initiatives including DeKLA (Developing Kleene Logics and their Applications) and NiRvAna (Noninterference and Reversibility Analysis in Private Blockchains).

He is actively involved in the academic community through the Italian Chapter of the EATCS and IFIP WG 11.14 Secure Engineering. His teaching responsibilities include Programming Languages and Software Verification and Cybersecurity courses across multiple Informatics degree programs.

Professor Aldini has supervised numerous PhD students and postdoctoral researchers. His academic contributions include the book "A Process Algebraic Approach to Software Architecture Design" and his PhD thesis "Security and Performance Analyses in Distributed Systems."