Riccardo 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 564 7073
Fax:
+39 011 564 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 about 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:
- formal verification of
cryptographic protocols and security-critical software
- static analysis and software model checking (of concurrent and
distributed software)
- model-driven development and automated generation of safe/secure
code from formel protocol descriptions
Main recent/current research projects:
Selected publications (from DBLP)
Selected most recent publications (with local downloadable copies)
Technical Reports
Teaching
I teach Computer programming (bachelor), Distributed systems
programming (master) 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
- 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:
October 2009