Ricerca

Le mie attività di ricerca riguardano la valutazione delle prestazioni dei sistemi di elaborazione. Si tratta di una vasta area di ricerca, all'interno della quale mi occupo soprattutto della modellazione di sistemi distribuiti complessi mediante tecniche multiformalismo.
Le direzioni che seguo sono attualmente:
- Tecniche e metodi di modellazione multiformalismo
- Valutazione delle prestazioni di sistemi complessi di interesse industriale critici per performance, affidabilità e correttezza temporale
- Quality of Service in sistemi distribuiti
- Modellazione delle prestazioni di sistemi ed applicazioni di grande scala
- Explainable Artificial Intelligence
- Privacy, Privacy by Design, Privacy-aware Blockchains

Oltre a questi filoni, essendo un curioso di natura mi occupo anche di altri argomenti in maniera circoscritta appena ne ho l'occasione.

Pubblicazioni
Comitati editoriali
Comitati scientifici
Revisione di riviste internazionali
Revisione di conferenze internazionali