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

Research

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

Teaching
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 September. If interested in a PhD position, please contact me earlier.

Collaborations

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: January 2013