Heidi Howard
Senior Researcher at Microsoft Azure Research
Heidi Howard is a computer scientist whose research bridges the theory and practice of distributed systems. Her work spans cloud computing; the security and resilience of distributed systems; distributed databases; and the formal verification of distributed protocols.
Heidi is a Senior Researcher in the Azure Research group at Microsoft Cambridge, where she co-leads the Confidential Consortium Framework, an open-source platform for building highly available applications with decentralized trust. She also serves as a Visiting Researcher in the Systems Research Group at the University of Cambridge.
Prior to joining Microsoft, Heidi was a Research Fellow, Research Associate and Affiliated Lecturer at the University of Cambridge and a Scholar-in-Residence and Affiliated Researcher at VMware Research. She received her PhD from the University of Cambridge in 2019 under the supervision of Prof. Jon Crowcroft and is best known for her contributions to distributed consensus, including the invention of Flexible Paxos.
Upcoming conference sessions featuring Heidi Howard
Making the Impossible Possible: Ten Years of Flexible Paxos
Distributed consensus lies at the foundation of reliable distributed systems. For decades, Paxos has been the dominant solution. Its quorum requirements were treated as fundamental, shaping both theory and practice across distributed systems. In 2016, we showed that a core assumption behind Paxos was unnecessarily strict. By relaxing its quorum requirements, we introduced Flexible Paxos: a new way of thinking about consensus that opened up a broader design space for fault-tolerant systems.
This talk revisits the history of consensus, the reasoning that led to Flexible Paxos, and the impact of that result a decade later. Along the way, we will explore how questioning long-standing assumptions can reveal new possibilities in even the most established areas of computing.
Get conference pass
Browse all experts
Here