We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain. https://t.co/ElLuw8eT08
#MultiversX is a distributed blockchain network for next-gen applications. Decentralized via 3000+ nodes, scalable through sharding, fast, secure & green.
IOSG Ventures is a research-driven fund investing in Web3, we uncover crypto-native insights and craft narratives that hold the future! Pitch: [email protected]
Professor @cse_uiuc, founder of @Pi_Squared_Pi2 and @rv_inc, creator of K. Programming languages, formal methods, software engineering, cryptography, web3.