Subodh Sharma
Subodh Sharma researches formal verification, software security and privacy, including applications to smart contracts and electronic voting. He founded Cerify, a smart contract security company, and previously held a postdoctoral research role at Oxford.