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
+39 011 090 7099
e-mail: riccardo.sisto at
polito.it (where "at" stands for "@").
Full professor at Politecnico di Torino since 2004.
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:
- formal verification of
cryptographic protocols and security-critical software
- static analysis and software model checking (of concurrent and
- model-driven development and automated generation of safe/secure
code from formal protocol descriptions
Selected publications (from DBLP)
All publications (with some local downloadable copies) from PORTO (Institutional Repository)
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.
- Denis Makartetskiy (PhD student)
- Matteo Avalle (PhD student)
- Piergiuseppe Bettassa Copet (PhD student)
The deadline for PhD applications is normally September. 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
- Alfredo Pironti worked on formal methods applied to security protocols. He is currently a Post-doc at Microsoft Research - INRIA Joint Centre
- Paolo Maggi worked on formal methods applied to mobile agents and network security.
He is currently a software engineer at Nice, Italy.
- Radu Iosif worked on software model checking of Java programs. He is currently
a researcher at CNRS-Verimag, France.
- Flavio Lerda worked on distributed model checking (PSpin). His is currently a
PhD candidate at Carnegie Mellon University.
Last update: January 2013