And co-author of the Raft consensus algorithm! [1]

[1] https://raft.github.io/raft.pdf