Ezio Bartocci

Pesquisa sobre como criar estratégias eficazes para sistemas que operam sob incerteza.

Analisando como hiperpropriedades probabilísticas podem melhorar a segurança do programa.

Um jeito de criar aplicativos que equilibram o uso de energia e o desempenho.