Blockchain, Computer Science, Smart Contacts, Blockchain Technology, Blockchain Development.
Urbana-Champaign, whose dream for the blockchain space is to see all smart contracts formally verified — and he has a tool to that purpose. The K framework is mathematic logic and language that enables language developers to formally define all programming languages, which has massive implications