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