Also, a co-author of the Raft consensus algorithm.