We are joined by Grigore Rosu, Prof. of computer science at UIUC [University of Illinois at Urbana-Champaign] for a deep dive into the K framework. The K framework is mathematic logic and language that enables language developers to formally define all programming languages; such as C, Solidity and JavaScript. This technology has massive implications for smart contract programming language development, and formal verification efforts in the blockchain space.