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


I have been working for more than 20 years in the areas of distributed systems and software engineering, with a special interest in formal methods for concurrent and 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 deadline for PhD applications is normally in Spring time. 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:
Some former students and Post-docs

Last update: September 2016