Biography

Riccardo Sisto graduated in Electronic Engineering in 1987, and received a Ph.D degree in Computer Engineering in 1992, both from Politecnico di Torino, Italy. Since 1991 he has been working at Politecnico di Torino, in the Computer Engineering Department, first as a researcher, then as an associate professor and, since 2004, as a full professor of computer engineering. Since the beginning of his scientific activity, his main research interests have been in the area of formal methods, applied to software engineering, communication protocol engineering, and computer security. On these and related topics he has authored and co-authored more than 120 scientific papers.
Riccardo Sisto has been a member of the ACM (Association for Computing Machinery) since 1999. He is currently Senior Member of the ACM.