Alessandro Armando

Alessandro Armando
DIST (Dipartimento di Informatica, Sistemistica e Telematica)
Università di Genova
viale Causa 13, 16145 Genova, Italy
Phone: +39.010.3532216
Fax: +39.010.3532948
E-mail: armando _AT_ dist _DOT_ unige _DOT_ it

My PGP Key is here.

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 recently contributed to the discovery of a serious vulnerability on the SAML-based Single Sign-On for Google Apps.

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.