I am an applied researcher, engineer and an educator. With proven track record of technology leadership in areas such as blockchain/web3, security as well as proven track record of research in formal verification, program analysis/compilers, constraint optimization. I am passionate about applying various fields of computer science to solve real-world problems. Please see my homepage at : https://sbjoshi.github.io for more details.