Alessandro Aldini: biographical and scientific activity sketch

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:

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

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

Some recent project:

Some extra material:

Recent edited proceedings, special issues, and volumes:


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)