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
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.
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:
Jan 2021