PeopleGraduate StudentArea of Expertise: Runtime Verification of blockchainsEducation: B.Tech., Computer Science Engineering, Maulana Abul Kalam Azad University of Technology, 2017Contactrganguly@iastate.edu Tags: Computer Scienceruntime verificationBlockchains