Lev Livnev is Software Developer at DappHub. He is a formal verification researcher at dapphub. He is interested in the theory and practice of smart contract development, markets, and Free Software.