Ingegneria delle applicazioni web
Modelli e metodi per la realizzazione di applicazioni SOA con caratteristiche note di QoS basati su metodi formali
Misure e modelli di prestazioni di servizi web su rete geografica

Valutazione di sistemi di elaborazione tramite metodi formali
Sviluppo di strumenti e tecniche di valutazione multiformalismo
Modellazione di applicazioni critiche per eterogeneita', tempo ed affidabilita'
Modellazione e progettazione di sistemi per l'alta velocita' ferroviaria
Valutazione delle prestazioni di sistemi critici
Valutazione delle prestazioni di sistemi cloud e multicloud

Gli studenti interessati possono contattarmi via email.