智能合约工程

作者简介

胡凯，北京航空航天大学计算机学院教授、博士生导师，北航云南创新研究院数字经济研究所所长，云南省区块链应用技术重点实验室主任。国内区块链研究的早期开拓者之一，提出并发展了智能合约工程（SCE）、验证即服务（VaaS）和智能合约即服务（SCaaS）等创新区块链理论与方法，先后主持区块链领域国家重点研发计划、国家基金、教育部基金等多个重大项目。主持制定发布中国电子学会国内首个区块链智能合约形式化设计与验证标准，联合主编《分布式计算系统导论》《智能合约工程》等国家规划和部级基金教材。主持研发北航链（TrustChain）、链上数据管理系统（OpenData）和智能合约形式化设计与验证平台（ModelSC）等系列产品，在区块链双碳、能源、制造业、生物多样化、大数据资产化，以及省级区块链基础设施建设等多个领域广泛应用。

内容简介