Qtum Awards $400K Grant to Columbia University Research Team for Smart Contracts R&D
ID: 0eb9e621-d2b8-528e-b5bb-377e0d7925af
STIX ID: report--0eb9e621-d2b8-528e-b5bb-377e0d7925af
Feed Name: CertiK Blog
Qtum awarded a $400,000 grant to a Columbia University research team led by Ronghui Gu to design and implement DeepSEA, a new programming language and toolchain aimed at enabling formally verified Ethereum-style smart contracts and certified OS kernels; the announcement notes ties to CertiK and Columbia-IBM blockchain initiatives and positions the work as improving reliability and adoptability of smart contract infrastructure.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.