He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems.
Осмислио је важне алгоритме и развио формалне протоколе за моделирање и верификацију који побољшавају квалитет реалних дистрибуираних система.