Don't forget he was also one of the original authors of Raft: https://web.stanford.edu/~ouster/cgi-bin/papers/raft-atc14