Blockchain, Computer Science, Smart Contacts, Blockchain Technology, Blockchain Development.
mathematician — when he joined NASA his job was to prove that the programs were running correctly. That’s when he started to explore formal methods and how to mathematically capture the meaning of programming languages — every single one of them had a deep mathematical meaning. The K framework, a