Blockchain, Computer Science, Smart Contacts, Blockchain Technology, Blockchain Development.
for smart contract programming language development and the formal verification efforts in the blockchain space. Read on or watch the full episode on Epicenter. Watch the full episode exploring K Framework’s implications in the blockchain space on Epicenter. Prof. Grigore Rosu started off as a