Naama Ben-David — Algorithms for practical distributed agreement