Ezio Bartocci

Recherche sur la création de stratégies efficaces pour des systèmes fonctionnant sous incertitude.

Examiner comment les hyperpropriétés probabilistes peuvent améliorer la sécurité des programmes.

Une méthode pour créer des applis qui équilibrent l'utilisation de l'énergie et la performance.