Digital Podcast

#239 Grigore Rosu: The K Framework – A Framework to Formally Define All Programming Languages


Join Now to Share


Epicenter – Podcast on Blockchain, Ethereum, Bitcoin and Distributed Technologies show

Summary: 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.