Alessandro Armando (head)

Alessio's face is missing... :-(
Short BIO



Publications



Contacts

Short BIO

Alessandro Armando is associate professor at the University of Genova, where he received his Laurea degree in Electronic Engineering in 1988 and his Ph.D in Electronic and Computer Engineering in 1994. His appointments include a postdoctoral research position at the University of Edinburgh (1994-1995) and one as visiting researcher at INRIA-Lorraine in Nancy (1998-1999). He is co-founder and leader (since 2003) of the Artificial Intelligence Laboratory (AI-Lab) at DIST. He is also head of the Security and Trust Research Unit at the Center for Information Technologies of Bruno Kessler Foundation in Trento. He has contributed to thediscovery of a serious vulnerability on the SAML-based Single Sign-On for Google Apps and to the discovery and fixing of a vulnerability that leads to a Denial of Service attack on all Android devices.

His current focus is on developing cutting-edge automated reasoning techniques and on using them to build a new generation of push-button software verification and debugging tools supporting the development of complex, large-scale, distributed IT applications.

Contacts

Email:
unigemail
Phone:
+39 010 353 2216
Fax:
+39 010 353 2948
My PGP key is...
 here.
You can find me here:
Villa Bonino, 1st floor,
Viale F. Causa, 13
16145, Genova, Italy.