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:

Selected publications (from DBLP)

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

Technical Reports

I teach Distributed systems programming (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 Spring time (this year 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) with which I cooperate:

I am also among the "International Friends" of the Cryptoforma network.

Some former students and Post-docs

Last update: January 2018