Prof. Alessandro Aldini
Ph.D. in Computer Science























Dip. di Scienze Pure e Applicate (DiSPeA)
Sez. di Scienze e Tecnologie dell'Informazione
Palazzo Raffaello
Piazza della Repubblica 13, 61029 Urbino

email: alessandro.aldini [at] uniurb.it
skype: a.aldini
tel: +39 0722 304417

Biographical and scientific activity sketch

  • Since March 2015: associate professor at the University of Urbino "Carlo Bo", Italy
  • November 2002 to February 2015: research associate at the University of Urbino "Carlo Bo", Italy
  • March 2003: Ph.D. degree in Computer Science at the University of Bologna (dissertation title: Security and Performance Analyses in Distributed Systems)
  • October 1998: Laurea degree summa cum laude in Computer Science at the University of Bologna at Cesena

Research in a sms:
formal modeling and verification of concurrent and distributed computer, network, and software systems and architectures

Some specific topics covered in the bibliography:

  • probabilistic and Markovian extensions of process algebra
  • exact and approximate behavioral equivalences and equivalence checking
  • noninterference approach to information flow analysis for nondeterministic, probabilistic, and Markovian systems
  • approximate noninterference
  • usability issues of process algebra
  • reward- and logic- based performance specification languages
  • design and analysis of security, dependability, and performability aspects of concurrent and distributed systems
  • trust models
  • interpretation of Church-Turing thesis

My entries in: Google Scholar, DBLP Bibliography Server, ResearchGate, and ORCID

My Erdös number is 3 (through Franck van Breugel and Michael Makkai)

Some recent project:

  • ULOOP: User-centric Wireless Local-Loop
  • PaCo: Performability-Aware Computing: Logics, Models, and Languages

Some extra material:

Recent edited proceedings, special issues, and volumes:

  • A. Aldini, M. Bernardo (editors): Proceedings of the 19th Italian Conference on Theoretical Computer Science (18-20 September 2018, Urbino, Italy), CEUR-WS, November 2018
  • G. Livraga, V. Torra, A. Aldini, F. Martinelli, N. Suri (editors): Data Privacy Management, and Security Assurance. Proceedings of DPM and QASA 2016, LNCS 9963, Springer, September 2016
  • A. Aldini, J. Lopez, F. Martinelli (editors): Foundations of Security Analysis and Design VIII. LNCS 9808, Springer, August 2016
  • J. Garcia-Alfaro, G. Navarro-Arribas, A. Aldini, F. Martinelli, N. Suri (editors): Data Privacy Management, and Security Assurance. Revised Selected Papers 2015. LNCS 9481, Springer, March 2016
  • A. Aldini, F. Martinelli, N. Suri (editors): Quantitative Aspects in Security Assurance, Special Issue of the International Journal of Secure Software Engineering (IJSSE), vol. 6 No. 2, IGI-Global, April-June 2015
  • J. Garcia-Alfaro, J. Herrera-Joancomartí, E. Lupu, J. Posegga, A. Aldini, F. Martinelli, N. Suri (editors): Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance. Revised Selected Papers 2014. LNCS 8872, Springer, March, 2015
  • A. Aldini, J. Lopez, F. Martinelli (editors): Foundations of Security Analysis and Design VII, LNCS 8604, Springer, July, 2014
  • A. Aldini, A. Bogliolo (editors): User-Centric Networking. Future Perspectives, LNSN, Springer, May 2014
  • A. Aldini, R. Gorrieri (editors): Foundations of Security Analysis and Design VI, LNCS 6858, Springer, August 2011
  • A. Aldini, M. Bernardo, L. Bononi, V. Cortellessa (editors): Computer Performance Engineering: Proceedings of the 7th European Engineering Workshop (EPEW 2010, Bertinoro, Italy), LNCS 6342, Springer, September 2010
  • A. Aldini, M. Bernardo, A. Di Pierro, H. Wiklicky (editors): Formal Methods for Quantitative Aspects of Programming Languages, LNCS 6154, Springer, June 2010
  • A. Aldini, G. Barthe, R. Gorrieri (editors): Foundations of Security Analysis and Design V, LNCS 5705, Springer, August 2009
  • A. Aldini, M. ter Beek, F. Gadducci (editors): Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures (VODCA 2008, Bertinoro, Italy), ENTCS 236, Elsevier, April 2009
  • A. Aldini, C. Baier (editors): Proceedings of the 6th Workshop on Quantitative Aspects of Programming Languages (QAPL 2008, Budapest, Hungary), ENTCS 220(3), Elsevier, December 2008
  • A. Aldini, F. van Breugel (editors): Proceedings of the 5th Workshop on Quantitative Aspects of Programming Languages (QAPL 2007, Braga, Portugal), ENTCS 190(3), Elsevier, September 2007
  • A. Aldini, R. Gorrieri (editors): Foundations of Security Analysis and Design IV, LNCS 4677, Springer, September 2007
  • A. Aldini, R. Gorrieri, F. Martinelli (editors): Foundations of Security Analysis and Design III, LNCS 3655, Springer, September 2005


It is an old maxim of mine that when you have excluded the impossible, whatever remains, however improbable, must be the truth.
A.C.D. (1886)