Heidi Howard

SE Radio 377: Heidi Howard on Distributed Consensus

Heidi Howard, a researcher in the field of distributed systems, discusses distributed consensus.  Heidi explains when we need it, when we don’t need and the algorithms we use to achieve it.  Adam Gordon Bell spoke with Heidi about the history of distributed consensus, paxos and variations on it, such as raft and flexible paxos, performance and scaling of distributed consensus, CAP Theorem, scaling consensus, TLA+, important papers in the field, what algorithms are used by real world systems like zookeeper and etcd and the verification of these algorithms.  Heidi also discusses what it is like to be a researcher in the field of distributed systems, how algorithms are verified and how she got into the field.

Show Notes

Related Links

SE Radio theme: “Broken Reality” by Kevin MacLeod ( — Licensed under Creative Commons: By Attribution 3.0)

Join the discussion

More from this show