Ezio Bartocci

Ricerca su come creare strategie efficaci per sistemi che operano sotto incertezza.

Esaminare come le iperproprietà probabilistiche possano migliorare la sicurezza dei programmi.

Un metodo per creare app che bilanciano consumo energetico e prestazioni.