Riccardo Sisto graduated in Electronic Engineering in 1987, and received a Ph.D degree in Computer Engineering in 1992, both from Politecnico di Torino, Torino, Italy. Since 1991 he has been working at Politecnico di Torino, in the Computer Engineering Department (Dipartimento di Automatica e Informatica), 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, computer security, and computer networks. On these and related topics he has authored and co-authored more than 100 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.

Riccardo Sisto's current research interests include formal verification of cryptographic protocols and security-critical distributed systems, model-driven development and safe/secure code generation from formal specifications, and formal verification of network policies in SDN/NFV-based networks.

Last update: Aug 2016