CertiK Co-Founder Recieves IBM Blockchain Grant to Further Research on DeepSEA Framework at Columbia University

**Executive summary:** Columbia University and IBM awarded seed funding to develop DeepSEA, a formal verification framework that compiles a high-level language into Hyperledger bytecode with machine-checkable proofs to reduce smart contract bugs; the article also profiles CertiK and its formal verification services aimed at improving blockchain and smart contract security.