Ezio Bartocci

Investigación sobre cómo crear estrategias efectivas para sistemas que operan bajo incertidumbre.

Examinando cómo las hiperpropiedades probabilísticas pueden mejorar la seguridad del programa.

Un método para crear aplicaciones que equilibren el uso de energía y el rendimiento.