Heidi’s research focuses on improving consistency, reliability and performance in distributed systems. Heidi received her BA in Computer Science from Cambridge University in 2014 and her PhD from Cambridge University for her research on distributed consensus in 2019. Heidi is probably most widely known for her generalizations of the widely used Paxos algorithm for solving consensus, including her work on Flexible Paxos.
Email: heidi.howard AT cl.cam.ac.uk,
Office: FW01, William Gates Building, 15 JJ Thomson Avenue, Cambridge, CB3 0FD, UK