Lev Livnev 是 DappHub 软件开发工程师，形式化验证的研究员。他对于智能合约开发、市场和自由软件的理论与实践颇感兴趣。