Marcel Yves Plouviez Graduate Student, INRIA Program Visits Proofs, Consensus, and Decentralizing Society, Fall 2019, Visiting Graduate Student