Ezio Bartocci

Forschung zu effektiven Strategien für Systeme, die unter Unsicherheit arbeiten.

Untersuchen, wie probabilistische Hypereigenschaften die Programmsicherheit verbessern können.

Eine Methode, um Anwendungen zu erstellen, die Energieverbrauch und Leistung ausbalancieren.