Riccardo Sisto's photoRiccardo Sisto

Professor of Computer Engineering

Dipartimento di Automatica e Informatica
Politecnico di Torino
Corso Duca degli Abruzzi, 24
I-10129 Torino, Italy

Phone: +39 011 090 7073
Fax:     +39 011 090 7099
e-mail: riccardo.sisto at polito.it (where "at" stands for "@").

Current position
Full professor at Politecnico di Torino since 2004.

Curriculum vitae


Currently, I am the leader of the Computer Networks Group (Netgroup) at Politecnico di Torino, in the Department of Control and Computer Engineering.
I am also a member of the Cybersecurity National Laboratory.
I have been working for more than 20 years in the research areas of distributed systems and software engineering, with a special interest in formal methods for safety and security of distributed systems.
Current research interests:
Main recent/current research projects:
I also received two URP Grants from Cisco Systems.

Selected publications (from DBLP)

All publications (with some local downloadable copies) from PORTO (Institutional Repository)

Technical Reports

I teach Distributed Systems Programming (MS), Security Verification and Testing (MS), and Formal Verification of Software and of Concurrent and Distributed Systems (PhD).
Current PhD students and Post-docs
To be informed about available PhD positions and internships on formal methods at my Institution, please contact me by e-mail.
The deadlines for PhD applications are normally in February and May. If interested in a PhD position, please contact me earlier.


Some of my current collaborators are with the IEIIT, an Institute of the Italian National Research Council (CNR) in which I am Research Associate:

I have also been among the "International Friends" of the Cryptoforma network.

Some former students and Post-docs

Last update: February 2021