Abhi Shelat Associate Professor, Khoury College of Computer Science, Northeastern University Website Opens new tab Program Visits Proofs, Consensus, and Decentralizing Society, Fall 2019