RICCARDO SISTO

Full Professor

Didactic portal

Scientific branch Computer engineering (ING-INF/05)
Collegi dei Corsi di Studio Membro effettivo del Collegio di Ingegneria Elettronica, delle Telecomunicazioni e Fisica (ETF)
Membro effettivo del Collegio di Ingegneria Informatica, del Cinema e Meccatronica
Teachings (2012/2013)
  • Distributed programming
  • Distributed programming II
  • Formal verification techniques for concurrent and distributed software and systems
  • Programming in distributed system